add: new Effect.Highlight( carts[i] ); 
context: function updateMiniCarts() {		var callbackCart = {  			success : function(o) {				carts = document.getElementsByClassName( 'vmCartModule' );				if( carts ) {						for (var i=0; i<carts.length; i++){								carts[i].innerHTML = o.responseText;						}				}			},			failure : function( hxr ) { alert( hxr.statusText ) }		}		option = { method: 'get', onSuccess: callbackCart.success,onFailure: callbackCart.failure }		new Ajax.Request('index2.php?only_page=1&page=shop.basket_short&option=com_virtuemart', option);		}
meta: 2938	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/2938/5377dd6dd198e828f412ac617e8a05925c3fbf76/theme.js/clean/virtuemart/themes/default/theme.js