Hack to make page rendering hashes for users who have set their preferences the same...
authorTim Starling <tstarling@users.mediawiki.org>
Wed, 16 Nov 2005 15:15:23 +0000 (15:15 +0000)
committerTim Starling <tstarling@users.mediawiki.org>
Wed, 16 Nov 2005 15:15:23 +0000 (15:15 +0000)
commitcf21f89a4e9b61a4de96ddee8914bfe5fe1e63ec
treeabce426f1ecc969b8b76fca67cf185fd651aa3dd
parent98dbe67e00fe41ae56ddbb2ef2636a99f6c982ff
Hack to make page rendering hashes for users who have set their preferences the same as for those who haven't. The numberheadings option didn't have a default, which meant it was initialised to false, but it's set to zero when the preferences are saved. Keeping the legacy anon hash format to avoid cache invalidation.
includes/User.php
languages/Language.php