<?php

$editorversion['name'] = "CodeMirror";
$editorversion['license'] = "zlib";
$editorversion['dirname'] = "codemirror";

$editorversion['class'] = "FormCodeMirror";
$editorversion['file'] = "codemirror.php";

$editorversion['version'] = 'unknown';

?>
