Manual:SpecialMovepage.php

SpecialMovepage.php implements Special:MovePage, a special page that allows users to change page titles.