Note: If there is no information in this page about this code and it's a MediaWiki extension, there may be something at mediawiki.org.
