diff --git a/src/main/xml/exts/phplint.xml b/src/main/xml/exts/phplint.xml index 8e4e8e8..1b80139 100644 --- a/src/main/xml/exts/phplint.xml +++ b/src/main/xml/exts/phplint.xml @@ -51,6 +51,7 @@ + @@ -62,6 +63,7 @@ +