mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Thanks
synced 2024-12-11 22:46:06 +00:00
2dd30b20ab
Remove comment about using make; no Makefile Change-Id: If3f7da5a39b7c208f57a0f588c84715959e822a3
14 lines
372 B
Bash
Executable file
14 lines
372 B
Bash
Executable file
#!/bin/bash
|
|
# Code from https://gist.github.com/holysugar/1318698 , simpler than
|
|
# http://stackoverflow.com/a/6262715/451712
|
|
|
|
# Work out location of Thanks/scripts/ directory
|
|
dir=$(dirname $(php -r "echo realpath('$0'), \"\\n\";"))
|
|
# Move to the project root
|
|
cd $(dirname $dir)
|
|
|
|
find ./ -type f -iname '*.php' -print0 | xargs -0 -P 12 -L 1 php -l
|
|
|
|
# Run npm test
|
|
npm test
|