Rename 'copy_of_Paginator.php'