Success! Deleted File class-wp-customize-code-editor-control.php