$wgFileRedirects