Manual talk:$wgExtensionCredits

From MediaWiki.org
Jump to navigation Jump to search

Do we have enough $type possibilities? What about API extensions, for example? Are there any others that should be added? Never mind, I see it's already there. Leucosticte (talk) 07:11, 19 August 2012 (UTC)