| commit | 048ba2c9ce697a78fadcc920450c5341b1c15f16 | |
| author | James Wu <jjwu@fb.com> | |
| Tue, 15 May 2018 18:51:38 +0000 (15 11:51 -0700) | ||
| committer | Hhvm Bot <hhvm-bot@users.noreply.github.com> | |
| Tue, 15 May 2018 19:10:09 +0000 (15 12:10 -0700) | ||
| tree | d0d7700a9cbc170944f23ff8b4b7a6c8a01a0e7e | treesnapshot (tar.gz zip) |
| parent | c54b34b121df5cd8eb652356d9b52445b6c8d3ab | commitdiff |
Fix case insensitivity of PHP keywords
Summary:
This changes all PHP keywords + a few Hack ones to be case insensitive.
Words like "dynamic" and "mixed" which are only valid keywords in PHP will mostly stay case sensitive(I changed a few of them anyway before I decided it was too annoying), but PHP builtins will be case insensitive after this diff.
Fixes https://github.com/facebook/hhvm/issues/8194
Reviewed By: oulgen, alexeyt
Differential Revision: D7958203
fbshipit-source-id: cdd83616d2fb2ab1c5340cf8171aba3085f3bfe8
Summary:
This changes all PHP keywords + a few Hack ones to be case insensitive.
Words like "dynamic" and "mixed" which are only valid keywords in PHP will mostly stay case sensitive(I changed a few of them anyway before I decided it was too annoying), but PHP builtins will be case insensitive after this diff.
Fixes https://github.com/facebook/hhvm/issues/8194
Reviewed By: oulgen, alexeyt
Differential Revision: D7958203
fbshipit-source-id: cdd83616d2fb2ab1c5340cf8171aba3085f3bfe8
37 files changed: