On Thu, 28 Oct 2004 23:33:49 -0400 (EDT), Jeremy jeremy@linuxquestions.org wrote:
On Thu, 28 Oct 2004, Dori wrote:
I brought it up once before :) I didn't have much hope then since you guys were on a much older version, but if you made it work with 1.3.7 then it couldn't be that hard to plug back into the main branch if someone wanted to. Besides, if it makes it in, that's one less thing you'll have to change on some future release of MediaWiki you decide to install (or do you have some way of doing the patch automagically?)
If there is interest to get it merged in upstream, we'd certainlybe willing to submit it. One downside is that is does require a PHP compile option that some may not have (or course, if merged upstream I assume it would become a config option anyway, so it could just be disabled for those who don't have it).
Can it be turned into an extension (and I'm not a developer so I have no idea what that entails)? I'm crossposting this to the mediawiki mailing list where some of the devs might chime in.
Sorry, this whole things is about adding a spell checking option to MediaWiki, it's already being used at lqwiki which is on MediaWiki 1.3.7
On Thu, 28 Oct 2004 23:11:40 -0500, Dori slowpoke@gmail.com wrote:
On Thu, 28 Oct 2004 23:33:49 -0400 (EDT), Jeremy jeremy@linuxquestions.org wrote:
On Thu, 28 Oct 2004, Dori wrote:
I brought it up once before :) I didn't have much hope then since you guys were on a much older version, but if you made it work with 1.3.7 then it couldn't be that hard to plug back into the main branch if someone wanted to. Besides, if it makes it in, that's one less thing you'll have to change on some future release of MediaWiki you decide to install (or do you have some way of doing the patch automagically?)
If there is interest to get it merged in upstream, we'd certainlybe willing to submit it. One downside is that is does require a PHP compile option that some may not have (or course, if merged upstream I assume it would become a config option anyway, so it could just be disabled for those who don't have it).
Can it be turned into an extension (and I'm not a developer so I have no idea what that entails)? I'm crossposting this to the mediawiki mailing list where some of the devs might chime in.
-- [[en:User:Dori]]
mediawiki-l@lists.wikimedia.org