Manual:NamespaceInfo.php