Category:Extensions migrated from Wiki-Tools/de

From mediawiki.org
This page is a translated version of the page Category:Extensions migrated from Wiki-Tools and the translation is 50% complete.

Pages in category "Extensions migrated from Wiki-Tools/de"

The following 2 pages are in this category, out of 2 total.