DynamicRedirect extension for MediaWiki