Manual:NamespaceDef.php