mmm-mode for php files