Rename 'class-wp-customize-code-editor-control.php'