sztanpet

#!php
<?php
$files = array();
exec('git diff-index --cached --name-only --diff-filter=ACMRTUXB HEAD', $files );
$exitcode = 0;

// dont redirect stderr to stdin, we will get the errors twice, redirect it to dev/null
if ( PHP_OS == 'WINNT' )
  $redirect = ' 2> NUL';
else