Code Editor : bug_71742.phpt