[php] Drop support for long-deprecated %pragma(php4)

Finally removed support for %pragma(php4) which was deprecated back in
2008.  The replacement is %pragma(php), which has been supported since
at least 2005.
This commit is contained in:
Olly Betts 2018-06-07 18:09:14 +12:00
commit d7ac8581b1
2 changed files with 6 additions and 1 deletions

View file

@ -1996,7 +1996,7 @@ done:
String *type = Getattr(n, "name");
String *value = Getattr(n, "value");
if (Strcmp(lang, "php") == 0 || Strcmp(lang, "php4") == 0) {
if (Strcmp(lang, "php") == 0) {
if (Strcmp(type, "code") == 0) {
if (value) {
Printf(pragma_code, "%s\n", value);