Extension:ExtensionFunctions.php

An extension to provide common functions for other extensions.