Rename 'copy_of_OutputFormatterInterface.php'