Update at_ui.codemirror.develphp.inc

Improve /devel/php ajax callback: Catch exception.
Merge branch 'dev-master' into api/kv

* dev-master:
  Update at_ui.codemirror.develphp.inc