I think you mean js/revisions-js.php. I'm pretty sure what dvortr() is supposed to do there... it is pretty suspicious-looking, though!