Make the output of git-diff and git-grep more useful for PHP sourcefiles.
Make the output of git-diff and git-grep more useful for PHP sourcefiles.

9618211/php-timer,PharaohTools/ptconfigure-phpunit-php-timer,sebastianbergmann/php-timer