Hi, 2009/3/31 Tobias Knerr <osm at tobias-knerr.de>: > marcus.wolschon at googlemail.com wrote: >> Is that a mediawiki-plugin? > > Didn't even know it was an extension until now, as many major wikis > (especially Wikimedia's) seem to have it installed. I stay corrected. Bye, Tim. -- http://wikipedistik.de