Phuedx has uploaded a new change for review.
https://gerrit.wikimedia.org/r/214325
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(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/MobileFrontend
refs/changes/25/214325/1
diff --git a/Makefile b/Makefile
index 229684c..7fc00df 100644
--- a/Makefile
+++ b/Makefile
@@ -59,7 +59,7 @@
@dev-scripts/phpcheck.sh
phplint: phpcheck ## Lint the PHP files
- @dev-scripts/phplint.sh
+ @composer 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: newchange
Gerrit-Change-Id: If5cd278ef6c2475caea45416d532d93d1debd82c
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/MobileFrontend
Gerrit-Branch: master
Gerrit-Owner: Phuedx <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
