Extension:Wiki2xml

From mediawiki.org