Gah, pressed the wrong button.
Anyways, what I wanted to ask is, does this require a core change?
Titoxd.
-----Original Message----- From: Rob Church [mailto:robchur@gmail.com] Sent: Tuesday, January 09, 2007 8:03 PM To: MediaWiki announcements and site admin list Subject: Re: [Mediawiki-l] Request for comments: Schema change to addSpecial:Contributors [snip]
As to how to initially populate the table: well, a bulk initialization script is one option, but Domas didn't like it either. ;) :P What I
A bulk initialiser would be possible, but would still incur heavy expense and isn't so easy to batch up.
suggested is to populate the table on demand, and maintain it later, and after a night's sleep, I thought about how to refine it more:
The basic premise is sound, even if the implementation could be ironed out a little. I'll sleep on it and mess about with it soon.
There are probably more efficient ways to do this, but I just wanted to
get
the ball rolling... any comments? Should it be done?
P = "extension goes live" Q = "extension is optimised" R = "rob gets peace"
P --> Q and P --> R ¬Q --> ¬R
R, thus Q
Rob Church