From 11be44c09119764e4ad4420beafd4fa7dfe53356 Mon Sep 17 00:00:00 2001 From: Victor Vasiliev Date: Sat, 29 Mar 2008 18:52:39 +0000 Subject: [PATCH] Drop it at all. It's stable --- includes/DefaultSettings.php | 5 ----- includes/filerepo/LocalRepo.php | 5 ----- 2 files changed, 10 deletions(-) diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php index 5a2d37a5f9..888b361253 100644 --- a/includes/DefaultSettings.php +++ b/includes/DefaultSettings.php @@ -461,11 +461,6 @@ $wgHashedSharedUploadDirectory = true; */ $wgRepositoryBaseUrl = "http://commons.wikimedia.org/wiki/Image:"; -/** - * If enabled, MediaWiki checks redirects in Image: namespace. - */ -$wgFileRedirects = true; - # # Email settings diff --git a/includes/filerepo/LocalRepo.php b/includes/filerepo/LocalRepo.php index 8a8bba2df3..6001d936e2 100644 --- a/includes/filerepo/LocalRepo.php +++ b/includes/filerepo/LocalRepo.php @@ -92,11 +92,6 @@ class LocalRepo extends FSRepo { } function checkRedirect( $title ) { - global $wgFileRedirects; - if( !$wgFileRedirects ) { - return false; - } - if( $title instanceof Title && $title->getNamespace() == NS_MEDIA ) { $title = Title::makeTitle( NS_IMAGE, $title->getText() ); } -- 2.20.1