Rename 'copy_of_DiviExtension.php'