Manual:ExtensionRegistry.php