From: Matteo Nastasi (mop) <nastasi@alternativeoutput.it>
Date: Tue, 10 Dec 2013 15:43:47 +0000 (+0100)
Subject: js: remove 'dollar' function duplicated declaration
X-Git-Tag: v4.11.0~2
X-Git-Url: http://mop.ddnsfree.com/gitweb/?p=brisk.git;a=commitdiff_plain;h=8bd0ea95b1b1df4fbb7e9cd0b599ec6869c87f0e

js: remove 'dollar' function duplicated declaration
---

diff --git a/web/commons.js b/web/commons.js
index f0a0a98..566ffa7 100644
--- 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;