Board Thread:Support Requests - Getting Technical/@comment-5175866-20130904014745

Does anybody know the mediawiki page and the parser functioning needed to make all soft redirects (such as #REDIRECT page being redirected to ) turn into hard redirects (when it says in the title redirected from a page.) Also please note to make double redirects directly redirect to the page being redirected by the last redirect (for example a redirect on page 1 redirects to page 2 which has a soft redirect, and so it needs to redirect to the page being pointed to by #2). Also perhaps with broken redirects, take it to the wiki-search automatically to look for a page with a similar spelling. 