includes/clientside/firebug/src/firebugx.js
author Dan
Sat, 12 Jul 2008 04:49:30 -0400
changeset 631 f4f4146d8b6c
parent 551 3acd624d4f4f
permissions -rw-r--r--
Added group_rank option in admin group manager and user_title option in admin user manager


if (!("console" in window) || !("firebug" in console))
{
    var names = ["log", "debug", "info", "warn", "error", "assert", "dir", "dirxml",
    "group", "groupEnd", "time", "timeEnd", "count", "trace", "profile", "profileEnd"];

    window.console = {};
    for (var i = 0; i < names.length; ++i)
        window.console[names[i]] = function() {}
}