rem: [["dumpfilters",   cmdDumpFilters,   CMD_CONSOLE | CMD_NO_HELP], 
add: [["dumpcontexts",  cmdDumpContexts,  CMD_CONSOLE | CMD_NO_HELP], ["dumpfilters",   cmdDumpFilters,   CMD_CONSOLE | CMD_NO_HELP], 
context: function initDev(){    var cmdary =        [["dumpfilters",   cmdDumpFilters,   CMD_CONSOLE | CMD_NO_HELP],         ["reloadui",      cmdReloadUI,      CMD_CONSOLE | CMD_NO_HELP],         ["testargs",      cmdTestArgs,      CMD_CONSOLE | CMD_NO_HELP],         ["testargs1",     cmdTestArgs,      CMD_CONSOLE | CMD_NO_HELP],         ["testfilters",   cmdTestFilters,   CMD_CONSOLE | CMD_NO_HELP],         ["treetest",      cmdTreeTest,      CMD_CONSOLE | CMD_NO_HELP],         ["multialias",    "help pref; help props", CMD_CONSOLE | CMD_NO_HELP]];        defineVenkmanCommands (cmdary);    return "Venkman development functions loaded OK.";}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/e565073eca8ed4626567f9dcf8feb51505cef8c1/venkman-dev.js/clean/extensions/venkman/resources/content/venkman-dev.js