Rename 'class-wp-customize-manager.php'