[dokuwiki] JavaScript "Bug" & patch

Hi!
This is a small patch, about a javascript error, which occours upon
calling any Topic.
Usual browsers seem not to complaint/care, but WebDeveloper
(FF extension) and IE discover this.

script.js / initSizeCtl(ctlid,edid) seems to be called with undef edid.
Adding an empty String avoids this problem.
But should initSizeCtl be called with undef edid, or is there a bug
somewhere else?

Thanks for this really great, simple solution.
Regards - Henning

PS: Sorry, if this is the wrong place to report - I cant find a
bugtracking system
--- ./lib/scripts/script.js    2006-05-30 12:21:00.000000000 +0200
+++ ./lib/scripts/script.js_orig   2006-03-05 15:11:56.000000000 +0100
@@ -337,7 +337,7 @@
         if(!document.getElementById){ return; }

     var ctl      = $(ctlid);
-    var textarea = $(edid)+'';
+    var textarea = $(edid);

     var hgt = getCookie('DokuWikisizeCtl');
     if(hgt === null || hgt === ''){

Other related posts: