dojo.registerNamespaceManifest = function(/*String*/module, /*String*/path, /*String*/name, /*String*/widgetModule, /*Function?*/resolver){  dojo.registerModulePath(name, path); dojo.registerNamespace(name, widgetModule, resolver); } 
dojo.registerNamespaceManifest=function(_8b1,path,name,_8b4,_8b5){ dojo.registerModulePath(name,path); dojo.registerNamespace(name,_8b4,_8b5); }; 
dojo.registerNamespaceManifest = function(/*String*/module, /*String*/path, /*String*/name, /*String*/widgetModule, /*Function?*/resolver){  // summary: convenience function to register a module path, a namespace, and optionally a resolver all at once.  dojo.registerModulePath(name, path);  dojo.registerNamespace(name, widgetModule, resolver);}
6315	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6315/90939f35f46f873d9b1f5c5f818ecf012711dc71/dojo.js/buggy/src/main/resources/org/apache/struts2/static/dojo/dojo.js