On 25/05/12 23:12, Marcin Cieslak wrote:
If some of you
needs help moving a php tool into a MediaWiki extension,
drop me a line. :)
. o O (only not to be allowed to run it on toolserver later?:)
Perhaps we may be able to make it a cross-tool, which can either be
embedded in MediaWiki or standalone (I'm not aware of any extension
doing that, but it's something I have considered several times myself).