On Monday, April 13, 2020 at 10:30:05 AM UTC-4, Benoit wrote: > > By the way, Norm: is upgrading to HTML 5 among your plans ? I can't > estimate how much work it would be (both for the pages generated by the > metamath program and for the other pages, which can be done > independently). I'm not advocating always updating to the most recent > version of anything, but HTML 5 is both more semantic and probably more > future proof. >
There are currently no plans to do that. It would be a big project. I played with it several years ago, and it was difficult to get it to pass validation because of so many deprecated elements that would have to be moved to CSS among other things. The main thing, though, is that I didn't see any HTML 5 feature that would offer an advantage for our pages, which are simple, clean, and fast loading. It seemed like make-work without enough benefit to justify it. (As an aside, it is very rare that I find a web page on other sites that isn't riddled with validation errors. I've never understood why professional web developers tolerate this - imagine ignoring warnings from a compiler and depending on unpredictable code that might be generated. Validation has found many mistakes in our pages like malformed hrefs that otherwise would have to wait until someone noticed them.) As for future-proofing, I may be wrong, but I don't see any point in the future where HTML 4 would no longer be supported by browsers. There are simply too many web pages using it. Even if everyone converted, there are still historical pages on archive.org, intended to last "forever", that would become unreadable. I would guess the amount of extra browser code to support HTML 4 isn't that great, and it is already written and mostly bug free. So there is no reason to stop supporting it. Norm -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/d959d150-6a5e-461a-859f-686affd6da58%40googlegroups.com.
