]> git.ipfire.org Git - thirdparty/gettext.git/commit
xgettext: PHP: Disallow character \x7f in identifiers.
authorBruno Haible <bruno@clisp.org>
Wed, 18 Sep 2024 18:26:42 +0000 (20:26 +0200)
committerBruno Haible <bruno@clisp.org>
Wed, 18 Sep 2024 18:26:42 +0000 (20:26 +0200)
commitcdc375e6bae681e24b0cc6207ecfcc27b425baf2
treee3606dfedbb100f92cc02141c17927d4e3f3d315
parent4391a42f1540ad20aa6e1b7fdc87c8e0e79e34e6
xgettext: PHP: Disallow character \x7f in identifiers.

* gettext-tools/src/x-php.c (phase4_get): Don't allow character \x7f in symbol
tokens.
gettext-tools/src/x-php.c