Update 40-php.el