]> git.openstreetmap.org Git - chef.git/commitdiff
Merge remote-tracking branch 'github/pull/202'
authorTom Hughes <tom@compton.nu>
Mon, 19 Nov 2018 18:53:05 +0000 (18:53 +0000)
committerTom Hughes <tom@compton.nu>
Mon, 19 Nov 2018 18:53:05 +0000 (18:53 +0000)
cookbooks/mediawiki/templates/default/LocalSettings.php.erb

index b13885937988a83f2394599475249af9f5e735e6..18dc6aec98f5a7f52f4a977d2bbc34ea61cc4919 100644 (file)
@@ -236,6 +236,9 @@ $wgShowIPinHeader = FALSE;
 # Job Runs by cron
 $wgJobRunRate = 0;
 
+# dissolves double redirects automatically
+$wgFixDoubleRedirects = TRUE;
+
 # Allow external images from a few sites
 $wgAllowExternalImagesFrom = array( 'http://tile.openstreetmap.org/', 'http://svenanders.openstreetmap.de/', 'http://josm.openstreetmap.de/', 'http://trac.openstreetmap.org/', 'http://rweait.dev.openstreetmap.org/' );