On Tue, 2019-01-22 at 08:00 +0200, Tapani Pälli wrote: > > On 1/21/19 10:44 PM, Ilia Mirkin wrote: > > Series is > > > > Reviewed-by: Ilia Mirkin <imir...@alum.mit.edu> > > > > As an aside, it appears that we're using xhtml? That's pretty much > > dead nowadays. The recommendation tends to be to have <!DOCTYPE > > html> > > on the first line, and that's it. > > Was about to say the same .. > > <!DOCTYPE html> > > and then set charset in the <head> part: > > <meta charset="utf-8"> >
I agree, and I think it'd be nice to move to html5 like the rest of the world. But I would like to land this first, as it's kinda independent (with the exception of moving the "<?xml ... ?>"-line) and solves actual bugs. So how about I push out these patches, and follow it up with a (tiny) series to modernize the html? _______________________________________________ Piglit mailing list Piglit@lists.freedesktop.org https://lists.freedesktop.org/mailman/listinfo/piglit
