resource_framesize:

resource_websearch:

resource_defaulturl:

resource_filterexternalpages:

resource_filterexternalpages, ""); ?>

resource_popup:

resource_popup, ""); ?>

$defaultvalue:

"; if ($optionname == "height" or $optionname == "width") { echo "$defaultvalue."\">"; } else { choose_from_menu ($choices, $defaultvalue, $CFG->$defaultvalue, ""); } echo "

"; print_string("configpopup$optionname", "resource"); echo "

">