Merge branch '7.5'

sebastianbergmann · Nov 19, 2018 · a76792c · a76792c
2 parents f9abc79 + 2233afe
commit a76792c
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/src/TextUI/Command.php b/src/TextUI/Command.php
@@ -1173,7 +1173,7 @@ protected function showHelp(): void
   --include-path <path(s)>    Prepend PHP's include_path with given path(s)
   -d key[=value]              Sets a php.ini value
   --generate-configuration    Generate configuration file with suggested settings
-  --cache-result-file==<FILE> Specify result cache path and filename
+  --cache-result-file=<file>  Specify result cache path and filename
 
 Miscellaneous Options:
 

diff --git a/tests/end-to-end/help.phpt b/tests/end-to-end/help.phpt
@@ -103,7 +103,7 @@ Configuration Options:
   --include-path <path(s)>    Prepend PHP's include_path with given path(s)
   -d key[=value]              Sets a php.ini value
   --generate-configuration    Generate configuration file with suggested settings
-  --cache-result-file==<FILE> Specify result cache path and filename
+  --cache-result-file=<file>  Specify result cache path and filename
 
 Miscellaneous Options:
 

diff --git a/tests/end-to-end/help2.phpt b/tests/end-to-end/help2.phpt
@@ -104,7 +104,7 @@ Configuration Options:
   --include-path <path(s)>    Prepend PHP's include_path with given path(s)
   -d key[=value]              Sets a php.ini value
   --generate-configuration    Generate configuration file with suggested settings
-  --cache-result-file==<FILE> Specify result cache path and filename
+  --cache-result-file=<file>  Specify result cache path and filename
 
 Miscellaneous Options: