mirror of
https://github.com/php/php-src.git
synced 2025-08-15 21:48:51 +02:00
Add the --generate-optimizer-info option to the help of gen_stub.php
This commit is contained in:
parent
20fb26e55c
commit
baac970817
1 changed files with 1 additions and 1 deletions
|
@ -3310,7 +3310,7 @@ if ($replaceMethodSynopses && $targetSynopses === null) {
|
|||
}
|
||||
|
||||
if (isset($options["h"]) || isset($options["help"])) {
|
||||
die("\nusage: gen_stub.php [ -f | --force-regeneration ] [ --generate-classsynopses ] [ --replace-classsynopses ] [ --generate-methodsynopses ] [ --replace-methodsynopses ] [ --parameter-stats ] [ --verify ] [ -h | --help ] [ name.stub.php | directory ] [ directory ]\n\n");
|
||||
die("\nusage: gen_stub.php [ -f | --force-regeneration ] [ --generate-classsynopses ] [ --replace-classsynopses ] [ --generate-methodsynopses ] [ --replace-methodsynopses ] [ --parameter-stats ] [ --verify ] [ --generate-optimizer-info ] [ -h | --help ] [ name.stub.php | directory ] [ directory ]\n\n");
|
||||
}
|
||||
|
||||
$fileInfos = [];
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue