K 10 svn:author V 7 vanilla K 8 svn:date V 27 2006-05-07T13:02:13.000000Z K 7 svn:log V 141 Add xpi-web_developer 1.0.2, an extension to add various web developer tools. PR: ports/96882 Submitted by: chinsan END