On Thu, 13 Nov 2008 22:53:15 +0100, Platonides wrote: > Roan Kattouw wrote: >> That would be significantly harder to implement, and also potentially >> confusing. Writing an extension that implements <comment></comment> is >> ridiculously easy, whereas introducing new syntax of another kind would >> be very hard on pretty much everyone whose name isn't Tim Starling :) >> >> Roan Kattouw (Catrope) > > Agree. Much better to add a <htmlcomment> and changing it to a shorter > name if needed would be trivial. > > Now, some implementation details: > What to with a --> inside a html comment? And -- ?
Well, <source lang=html4strict><!-- comment --></source> seems to work like I'd expect, so the normal extension handling should get it right. Strip <comment>, remove <!-- .. -->, unstrip <comment> _______________________________________________ Wikitech-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikitech-l
