This is an automated feature of the MediaWiki software, that updates redirects when pages are moved.