Update html-editor.php