js: remove 'dollar' function duplicated declaration

diff --git a/web/commons.js b/web/commons.js
index f0a0a9810e8b31b87f752f7ab628ceda81a6e2f4..566ffa768e8bac4dbf85a155587ee0c521249d5e 100644 (file)
--- a/web/commons.js
+++ b/web/commons.js
@@ -915,12 +915,6 @@ function notify(st, text, tout, butt, w, h)
     notify_ex.call(this, st, text, tout, butt, w, h, false, 0);
 }
        
-
-function $(id) { 
-    return document.getElementById(id); 
-}
-
-
 function globst() {
     this.st = -1;
     this.st_loc = -1;