edit php.el