{* $Id$ *} {jq} function updateList( active ) { if( ! active ) { var optionList = document.getElementById( 'available_languages_select' ).options; for( i in optionList ) optionList[i].selected = false; } } {/jq}