This is a maintainance script of MediaWiki.