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

set -e

export FILES="/var/lib/mediawiki/extensions/CodeMirror"

find $FILES -not -type d -name '*.php' | xargs -n1 -exec php -l
find $FILES -not -type d -name '*.json' | xargs -n1 -exec jsonlint-php
