Mooeypoo has uploaded a new change for review. https://gerrit.wikimedia.org/r/207286
Change subject: Add pre-commit hook script ...................................................................... Add pre-commit hook script Change-Id: Ic5cc2e22f3e3949639ac435cf01b02446a2d5099 --- A scripts/pre-commit 1 file changed, 13 insertions(+), 0 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/Thanks refs/changes/86/207286/1 diff --git a/scripts/pre-commit b/scripts/pre-commit new file mode 100644 index 0000000..33f5c05 --- /dev/null +++ b/scripts/pre-commit @@ -0,0 +1,13 @@ +#!/bin/bash +# Enable all the git hooks by executing the following from the project root directory +# $ make installhooks +# +# Code from https://gist.github.com/holysugar/1318698 , simpler than +# http://stackoverflow.com/a/6262715/451712 + +# Work out location of Flow/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 -- To view, visit https://gerrit.wikimedia.org/r/207286 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: Ic5cc2e22f3e3949639ac435cf01b02446a2d5099 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/Thanks Gerrit-Branch: master Gerrit-Owner: Mooeypoo <mor...@gmail.com> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
