#!/bin/sh
# Lint both PHP and JSON files

set -e

export FILES="/usr/share/mediawiki/skins/GreyStuff"

# Ignore LocalSettings.php since it is just a symlink
# that does not exist yet.
find $FILES -not -type d -name '*.php' -not -name 'LocalSettings.php' | xargs -n1 -exec php -l
find $FILES -not -type d -name '*.json' | xargs -n1 -exec jsonlint-php
