Map dist-* files to php-mode