diff options
Diffstat (limited to 'models/openid-php-openid-782224d/admin/nobadcase')
| -rw-r--r-- | models/openid-php-openid-782224d/admin/nobadcase | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/models/openid-php-openid-782224d/admin/nobadcase b/models/openid-php-openid-782224d/admin/nobadcase new file mode 100644 index 000000000..c2c266237 --- /dev/null +++ b/models/openid-php-openid-782224d/admin/nobadcase @@ -0,0 +1,14 @@ +#!/usr/bin/env bash + +bad=$(./admin/findphp | xargs egrep -n "^[^\'\"]*\b(TRUE|FALSE|NULL)\b") + +if [ ! -z "$bad" ] + then + cat <<EOF 1>&2 +These files contain wrongly capitalized constants: + +$bad + +EOF + exit 1 +fi |