From d396423b7c133826668c8615f5784aa6c9e8c466 Mon Sep 17 00:00:00 2001 From: Jordi Kroon Date: Tue, 12 May 2026 19:02:08 +0200 Subject: [PATCH] Update phpdoc completion script options --- scripts/helpers/phpdoc-completion.sh | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) diff --git a/scripts/helpers/phpdoc-completion.sh b/scripts/helpers/phpdoc-completion.sh index ecef9d50ae..19bf30c199 100755 --- a/scripts/helpers/phpdoc-completion.sh +++ b/scripts/helpers/phpdoc-completion.sh @@ -12,20 +12,20 @@ _phpdoc() --srcdir= --basedir= --rootdir= - --enable-force-dom-save --enable-chm - --enable-howto - --with-lang= - --disable-segfault-error - --disable-segfault-speed + --enable-xml-details --disable-version-files + --disable-sources-file + --disable-history-file --disable-libxml-check --with-php= + --with-lang= --with-partial= - --generate= - --output= --disable-broken-file-listing - --redirect-stderr-to-stdout" + --disable-xpointer-reporting + --redirect-stderr-to-stdout + --output= + --generate=" if [[ ${cur} == -* ]] ; then COMPREPLY=( $(compgen -W "${opts}" -- ${cur}) ) @@ -33,4 +33,4 @@ _phpdoc() fi } -complete -F _phpdoc phpdoc \ No newline at end of file +complete -F _phpdoc phpdoc