syntax/php: remove ctrl+p mapping