Rename 'copy_of_ServerRequest.php'