Rename 'copy_of_OptionsMenu.php'