Bumping php-mode support to ejmr/php-mode tag v1.13.5