Rename 'theme-editor.php'