猫头猪的个人空间

这个补丁是mozilla.org的jst（DOM module的owner）做的，在以后的Firefox里就会有这个补丁。作用主要是将已经有的一个id/name的解析加到了一个更合适的位置。只增添了两行。Index: dom/src/base/nsGlobalWindow.cpp...