Steve Sanbeg schreef: > 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> Hmm, that's starting to sound scary. Doesn't <nowiki><!-- comment --></nowiki> work? If it doesn't, we could ask Tim to make it work (shouldn't be too hard).
Roan Kattouw (Catrope) _______________________________________________ Wikitech-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikitech-l
