rem: dojo.html.setMarginBoxWidth=dojo.html.setOuterWidth=function(node,_51c){ 
add: dojo.html.setMarginBoxWidth=dojo.html.setOuterWidth=function(node,_52a){ 
context: dojo.html.setMarginBoxWidth=dojo.html.setOuterWidth=function(node,_51c){return dojo.html._callDeprecated("setMarginBoxWidth","setMarginBox",arguments,"width");};
meta: 4707	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/4707/50c3492c4c3c825dbd3401e134a19ed46799c456/dojo.js/buggy/www/resources/dojo-ajax/dojo.js