"zip" => "$strcreateziparchive"
);
if (!empty($count)) {
+
choose_from_menu ($options, "action", "", "$strwithchosenfiles...", "javascript:getElementById('dirform').submit()");
+ echo '<div id="noscriptgo" style="display: inline;">';
+ echo '<input type="submit" value="'.get_string('go').'" /></div>';
+ echo '<script type="text/javascript">'.
+ "\n//<![CDATA[\n".
+ 'document.getElementById("noscriptgo").style.display = "none";'.
+ "\n//]]>\n".'</script>';
+ echo '</div>';
+
}
echo "</td></tr></table>";
echo "</div>";