Use 'php' diff driver for PHP files