Accidentally deleted pomo/mp.php

Ok, so the site I was running for a client was hacked, and in a frenzy to delete any and all corrupted files I accidentally deleted the file pomo/mp.php in the wp-includes directory.
How do I copy this file from another site, or something? I don’t know how to fix…