stage 1 deobfuscating ACE editor instance.
JSpretty run on the ACE code. Note that another JavaScript deobfuscator/beautifier (The JavaScript Unminifier at http://www.centralinternet.com.br/javascript-beautifier) gave visually better code output but nuked the literal HTML elements embedded in some strings in the code, thus nuking the source code, while JSPretty (http://www.jspretty.com/) kept the code intact.
fix the config conditional checks (PHP defines) and set up the default defines' (default is to NOT minify; the original PHP_Error did minify its own code but I don't want minified code in my 'deep debug' site output)
fix bug: backslashes were damaged in the namespace statement in the examples/class_not_found.php when saving the edited example file: the C-slashes should not have been stripped (tested on current Chrome (stable) and PHP 5.3.8 (WAMP))