dojo.registerNamespace = function(/*String*/name, /*String*/module, /*Function?*/resolver){      dojo.ns.register.apply(dojo.ns, arguments); } 
dojo.registerNamespace=function(name,_8ac,_8ad){ dojo.ns.register.apply(dojo.ns,arguments); }; 
dojo.registerNamespace = function(/*String*/name, /*String*/module, /*Function?*/resolver){  // summary: maps a module name to a namespace for widgets, and optionally maps widget names to modules for auto-loading  // description: An unregistered namespace is mapped to an eponymous module.  //  For example, namespace acme is mapped to module acme, and widgets are  //  assumed to belong to acme.widget. If you want to use a different widget  //  module, use dojo.registerNamespace.  dojo.ns.register.apply(dojo.ns, arguments);}
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