Manual:ExtensionDependencyError.php