Manual:ExtensionInfo.php