jenkins-bot has submitted this change and it was merged. Change subject: Remove the phplint.sh dev script ......................................................................
Remove the phplint.sh dev script The phplint.sh dev script has been superseded by the `test` Composer script. Change-Id: If5cd278ef6c2475caea45416d532d93d1debd82c --- M Makefile D dev-scripts/phplint.sh 2 files changed, 1 insertion(+), 26 deletions(-) Approvals: Jdlrobson: Looks good to me, approved jenkins-bot: Verified diff --git a/Makefile b/Makefile index 0e9cad2..c5f9957 100644 --- a/Makefile +++ b/Makefile @@ -59,7 +59,7 @@ @dev-scripts/phpcheck.sh phplint: phpcheck ## Lint the PHP files - @dev-scripts/phplint.sh + @php composer.phar test phpunit: ## Run the PHPUnit test suite cd ${MW_INSTALL_PATH}/tests/phpunit && php phpunit.php --group MobileFrontend ${MW_INSTALL_PATH}/extensions/MobileFrontend/tests/phpunit diff --git a/dev-scripts/phplint.sh b/dev-scripts/phplint.sh deleted file mode 100755 index 9b0e500..0000000 --- a/dev-scripts/phplint.sh +++ /dev/null @@ -1,25 +0,0 @@ -#!/usr/bin/env bash - -command -v vendor/bin/phpcs >/dev/null 2>&1 || { echo >&2 "phpcs required but it's not installed. Aborting. Run 'make phpcheck'"; exit 1; } - -if [ -z ${MEDIAWIKI_CODESNIFFER_CONFIG_DIR+x} ] - then - echo "MEDIAWIKI_CODESNIFFER_CONFIG_DIR is unset" - echo "Please setup mediawiki/tools/codesniffer" - echo "Then add 'export MEDIAWIKI_CODESNIFFER_CONFIG_DIR=path/MediaWiki'" - exit 1 -fi - -for file in `find . -name '*.php' -not -path './node_modules/*' -not -path './vendor/*'`; do - RESULTS=`php -l $file` - if [ "$RESULTS" != "No syntax errors detected in $file" ]; then - echo $RESULTS - exit 1 - fi - - vendor/bin/phpcs $file --standard=$MEDIAWIKI_CODESNIFFER_CONFIG_DIR - if [ $? -ne 0 ]; then - exit 1 - fi -done - -- To view, visit https://gerrit.wikimedia.org/r/214325 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: If5cd278ef6c2475caea45416d532d93d1debd82c Gerrit-PatchSet: 4 Gerrit-Project: mediawiki/extensions/MobileFrontend Gerrit-Branch: master Gerrit-Owner: Phuedx <g...@samsmith.io> Gerrit-Reviewer: Jdlrobson <jrob...@wikimedia.org> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits