2012-01-10のNightlyでVimperatorのコマンドが動かなくなったものへの一時的パッチ（たぶん不完全）

dontUse_utilArray.patch

diff -r 482aa8084e0e common/content/commands.js
--- a/common/content/commands.js        Tue Jan 10 21:24:47 2012 +0900
+++ b/common/content/commands.js        Wed Jan 11 09:30:40 2012 +0900
@@ -44,10 +44,10 @@
             throw Error("Invalid command name");

         this.specs = specs;
-        this.shortNames = array(parsedSpecs).map(function (n) n[1]).compact();
+        this.shortNames = parsedSpecs.reduce(function(r,c){c[1]&&r.push(c[1]);return r;}, []);
         this.longNames = parsedSpecs.map(function (n) n[0]);
         this.name = this.longNames[0];
-        this.names = array(parsedSpecs).flatten();
+        this.names = parsedSpecs.reduce(function(r,c) r.concat(c), []);
         this.description = description;
         this.action = action;