Major mode for editing PHP code