Use codemirror to highlight PHP syntax at /devel/php