On 03/05/2013 10:50 PM, Krinkle wrote:
Considering the "global" aspect it may be
more useful (and flexible) to enforce this from the global script instead of from local
preferences, which are rather annoying to maintain imho.
if ( dbname == wikidatawiki || .. ) {
return;
Good point. wgDBname is probably good enough for this, without needing
a whole local opt-out system.
Matt Flaschen