Rename 'copy_of_ProviderRegistry.php'