Make Change Tags index name configurable with a new config variable $wgOldChangeTagsI...
authorAndrew Garrett <werdna@users.mediawiki.org>
Tue, 15 Sep 2009 10:28:01 +0000 (10:28 +0000)
committerAndrew Garrett <werdna@users.mediawiki.org>
Tue, 15 Sep 2009 10:28:01 +0000 (10:28 +0000)
commit5cf5ed4994c6983ec903e6f72a1e5035b830f829
treed2cb6771c6964c3df6c8f79e2063bcaf049bac17
parentc59dd84ce9a1434f69d14144c477b1aaa670acca
Make Change Tags index name configurable with a new config variable $wgOldChangeTagsIndex, replacement for live hack at svn.wikimedia.org/viewvc/mediawiki/branches/wmf-deployment/includes/ChangeTags.php?&pathrev=53208&r1=53207&r2=53208
includes/ChangeTags.php
includes/DefaultSettings.php