wikimedia/mediawiki-core — pull request #11 by mco13 (2013-09-23 20:00:16+00:00)
Title: Adding description how to use Special:Redirect

This makes it clearer how to use it, as the usage is not self explanatory.