Update at_ui.codemirror.develphp.inc

Improve /devel/php ajax callback: Catch exception.