A PHP in-browser editor - based on eval() and CodeMirror3.