On Tue, Jul 24, 2012 at 11:06 PM, Marc Delisle <marc at infomarc.info> wrote: > Ok, please post here when it's integrated. The ExportSql and ExportMediawiki plug-ins are usable now on my branch and can be merged, but I still haven't solved the custom options bug. -- Alex