Removed "show updated marker" user preference option. It's now visually inoffensive...
authorTim Starling <tstarling@users.mediawiki.org>
Sun, 29 May 2005 04:29:29 +0000 (04:29 +0000)
committerTim Starling <tstarling@users.mediawiki.org>
Sun, 29 May 2005 04:29:29 +0000 (04:29 +0000)
commit5703792bbba0d320c8540e701aaaea136ffe85a0
treee66812c7ef799fc86f8eafcea1b47fc9a4f84f6b
parent9f939405af5096f8f1048fabf2f29306a3a75001
Removed "show updated marker" user preference option. It's now visually inoffensive, and has no performance penalty for reads, so there's no reason users would want to have it off. System administrators may want to have it off though, since it impacts on page save performance. Also changed the watchlist header format.
includes/DefaultSettings.php
includes/PageHistory.php
includes/SpecialPreferences.php
includes/SpecialRecentchanges.php
includes/SpecialWatchlist.php
includes/UserMailer.php
languages/Language.php