On 03.04.2011, 23:35 Brion wrote:
On Sun, Apr 3, 2011 at 12:14 PM, Amir E. Aharoni < amir.aharoni@mail.huji.ac.il> wrote:
I'm not a real MediaWiki developer, so it may be a silly question: How hard it is to convert a gadget into an extension? If it's not too hard, wouldn't it be better to redo useful gadgets as extensions? Unless i miss something very basic, this will make them easier to maintain, install, update and localize.
In principle, making an extension based on an existing Gadget should be pretty straightforward, especially with ResourceLoader taking care of more of the details of JS & CSS fetching.
Might be fun to whip up a how-to guide and post it on the tech blog...
The downside is that to change something in an extension you need to be a developer and your changes will be pushed to wiki with a considerable delay (oh yes, and they may even not pass through code review XD ). Editing wiki pages is much easier.