resolves a future jslint type confusion and as it's nor standarized nor used by our code we can just drop it.
Signed-off-by: Thomas Lamprecht <[email protected]> --- www/manager6/Utils.js | 1 - 1 file changed, 1 deletion(-) diff --git a/www/manager6/Utils.js b/www/manager6/Utils.js index 6345b2b4..58cc9fb3 100644 --- a/www/manager6/Utils.js +++ b/www/manager6/Utils.js @@ -10,7 +10,6 @@ Ext.enableAriaPanels = false; // avoid errors when running without development tools if (!Ext.isDefined(Ext.global.console)) { var console = { - dir: function() {}, log: function() {} }; } -- 2.14.2 _______________________________________________ pve-devel mailing list [email protected] https://pve.proxmox.com/cgi-bin/mailman/listinfo/pve-devel
