php mode+extras