Manual:NamespaceInputWidget.php