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