htmlEditor.php FanPress CM 5.x Tags license http://www.gnu.org/licenses/gpl.txt GPLv3 Interfaces, Classes, Traits and Enums htmlEditor CodeMirror based editor plugin