diff --git a/Mk/plugins.mk b/Mk/plugins.mk index 51de1e95e..48bca3e95 100644 --- a/Mk/plugins.mk +++ b/Mk/plugins.mk @@ -308,7 +308,7 @@ lint-php: check ! -name "*.xml" ! -name "*.xml.sample" ! -name "*.eot" \ ! -name "*.svg" ! -name "*.woff" ! -name "*.woff2" \ ! -name "*.otf" ! -name "*.png" ! -name "*.js" ! -name "*.md" \ - ! -name "*.scss" ! -name "*.py" ! -name "*.ttf" \ + ! -name "*.scss" ! -name "*.py" ! -name "*.ttf" ! -name "*.txz" \ ! -name "*.tgz" ! -name "*.xml.dist" ! -name "*.sh" \ -type f -print0 | xargs -0 -n1 php -l