Extension:ExtensionFunctions.php
From MediaWiki.org
An extension to provide common functions for other extensions.
[edit] Description
ExtensionFunctions.php is a (rather useless) meta-include that Tim Starling introduced when he migrated a lot of extensions to a new special page call format between MediaWiki 1.6 and 1.7. Certain extensions that aren't directly cross-compatible with both (I personally, for instance, try to make mine work without it) require it.
It can be found in the Subversion repository in the path given above, or downloaded over the web.
For the source code see;
