Hey, It looks like there's a discrepancy in which HTML doctype is used between the Java and PHP gadget renderers.
GadgetHtmlRenderer.php says that "<!DOCTYPE HTML PUBLIC \"-//W3C//DTD HTML 4.01//EN\" \"http://www.w3.org/TR/html4/strict.dtd\";>" should be used when "quirks = false or empty in the view." The Java Gadget renderer will not set a default doctype if it can't find one. Shouldn't both systems explicitly set a doctype if it's not provided?
