Adds a test for using querySelectorAll instead of getElementById. Faster, but
still not as fast as a crawl.

Also "corrects" the DOCTYPE (thought I had done so already), which seems to slow
down web kit's dom api calls!!

Reviewed by jgw
http://gwt-code-reviews.appspot.com/128807

git-svn-id: https://google-web-toolkit.googlecode.com/svn/trunk@7393 8db76d5a-ed1c-0410-87a9-c151d255dfc7
diff --git a/reference/Microbenchmarks/war/Microbenchmarks.html b/reference/Microbenchmarks/war/Microbenchmarks.html
index 07ccef6..dddd1e2 100644
--- a/reference/Microbenchmarks/war/Microbenchmarks.html
+++ b/reference/Microbenchmarks/war/Microbenchmarks.html
@@ -1,4 +1,4 @@
-<!DOCTYPE>
+<!DOCTYPE HTML>
 
 <html>
   <head>