Use codemirror to highlight PHP syntax at /devel/php.
Merge pull request #158 from v3knet/at-ui/php-syntax-at-devel-php

New: Use codemirror to highlight PHP syntax at /devel/php