web/data/cubicweb.log.js
changeset 11057 0b59724cb3f2
parent 11052 058bb3dc685f
child 11058 23eb30449fe5
--- a/web/data/cubicweb.log.js	Mon Jan 04 18:40:30 2016 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,13 +0,0 @@
-// This contains template-specific javascript
-
-function filterLog(domid, thresholdLevel) {
-    var logLevels = ["Debug", "Info", "Warning", "Error", "Fatal"]
-    var action = "hide";
-    for (var idx = 0; idx < logLevels.length; idx++){
-        var level = logLevels[idx];
-        if (level === thresholdLevel){
-            action = "show";
-        }
-        $('#'+domid+' .log' + level)[action]();
-    }
-}