fix editor.php