Update php and web-mode configs