PHPLint pre-commit git hook

pre-commit

#!/usr/bin/php
<?php

exec('git diff --name-only --diff-filter=ACM --cached', $files);
$status = 0;
foreach ($files as $file) {
	if (pathinfo($file, PATHINFO_EXTENSION) != 'php') continue;
	$file = escapeshellarg($file);
	$message = array();
	exec("git show :$file | php -l 2>&1", $message, $code);
	if (!$code) continue;
	fwrite(STDERR, str_replace('in - on', "in $file on", $message[0])."\n");
	$status = 1;
}
die($status);

pre-commit.sh

#!/bin/bash

staged="$(git diff --name-only --diff-filter=ACM --cached)"
phpfiles="$(grep '\.php$' <<< "$staged")"
for file in $phpfiles; do
    php -l $file > /dev/null || exit 1
done