Category:GPL licensed extensions/is

From mediawiki.org