add php-diff submodule