On Tue, Dec 30, 2008 at 10:17 AM, Charlotte Webb charlottethewebb@gmail.com wrote:
Could just number them sequentially like we do the section headings.
Alternatively, we could strip them and add an HTML comment -- we need to have some id for the extra section headings, because we need to link to them automatically, but that seems to be of dubious benefit for user-supplied id's. If they're using them for anything, their use (e.g., CSS rule, getElementById()) will almost certainly fail if we modify the id in any way, so no point in keeping it at all.
...or try to convince the creators of id="stub" templates that there's something wrong with giving them all the same id (good luck with that, they wouldn't listen to me).
Well, if we wanted to, telling them "in one week it will stop working" should do it. Or just having a sysop there do it unilaterally with that as edit summary. I don't know if we want to, though. It would be disruptive for questionable benefit. As I said, if we do this we'd have to do a dry run for a while and only log conflicts, and deal with all the major problem-causers before enabling it for real.