Attention to detail: this prevents generating a warning if $focus is not set.

Of course, the warning is hidden inside JS and thus invisible to the naked eye.

diff --git a/lib/javascript.php b/lib/javascript.php
index 22fbf70eab28a846e657bc2da3cc5d02509ad852..31055f09039e810e3da12183e7c44edf885602fb 100644 (file)
--- a/lib/javascript.php
+++ b/lib/javascript.php
@@ -92,7 +92,7 @@ function unlockoption(form,item) {
   eval("document."+form+".h"+item+".value=0");
 }
 
-<?php if ($focus) { echo "function setfocus() { document.$focus.focus() }\n"; } ?>
+<?php if (!empty($focus)) { echo "function setfocus() { document.$focus.focus() }\n"; } ?>
 
 // done hiding -->