On 15/11/2007, Thomas Dalton
<thomas.dalton(a)gmail.com> wrote:
My original idea was not to save the tidied
version but to tidy the
page every time it's parsed. Saving it is an option. Whether it's a
good idea or not probably depends on how much the markup gets changed
- if it's a lot it might confuse users too much. It could easily be
made a configuration option, though.
Oh, definitely. Don't scare the n00bs (or corporate intranet users),
but do make it an option for Wikipedians and other MediaWiki power
users. A very nice one, I think.
I was thinking a site config option rather than a user preference, but
both ideas have merit.