Last modified: 2013-12-10 17:04:47 UTC
The "Disable browser page caching" user preference should be removed from MediaWiki core. It's a very advanced user preference with little usage and it's arguably very misleading. It's a prime candidate for killing. This is an easy bug to resolve (marking it with the Bugzilla keyword accordingly). Anyone interested can look at <https://gerrit.wikimedia.org/r/27202> for a starting point for a new changeset (or un-abandon that changeset and rebase).
I would like to prepare a patch for this bug. Please assign the same to me.
Tony: Just go ahead. Looking forward to your patch in Gerrit!
Change 97908 had a related patch set uploaded by 01tonythomas: Removed 'Disable browser page caching" user preference https://gerrit.wikimedia.org/r/97908
Change 97925 had a related patch set uploaded by 01tonythomas: Removed 'Disable browser page caching" user preference https://gerrit.wikimedia.org/r/97925
Change 97908 abandoned by 01tonythomas: Removed 'Disable browser page caching" user preference Reason: Abandoned and new patch uploaded at https://gerrit.wikimedia.org/r/#/c/97925/ https://gerrit.wikimedia.org/r/97908
Change 97934 had a related patch set uploaded by 01tonythomas: Removed 'Disable browser page caching" user preference https://gerrit.wikimedia.org/r/97934
Change 97934 abandoned by 01tonythomas: Removed 'Disable browser page caching" user preference Reason: Abandoned https://gerrit.wikimedia.org/r/97934
Change 97937 had a related patch set uploaded by 01tonythomas: Removed 'Disable browser page caching" user preference https://gerrit.wikimedia.org/r/97937
Change 97937 abandoned by 01tonythomas: Removed 'Disable browser page caching" user preference Reason: Abandoned https://gerrit.wikimedia.org/r/97937
Tony: Please do NOT put lots of different changes into Gerrit. This patch now has four different patches in Gerrit. Instead, amend your changes to create updated patchsets. See https://www.mediawiki.org/wiki/Gerrit/Tutorial#Amending_a_change
It looks like https://gerrit.wikimedia.org/r/#/c/97925/ is the one to go currently (the only one not abandoned). Please continue to work with that one.
Change 97925 abandoned by 01tonythomas: Removed 'Disable browser page caching" user preference Reason: Error in Release Notes. https://gerrit.wikimedia.org/r/97925
Change 98276 had a related patch set uploaded by 01tonythomas: Removed 'Disable browser page caching" user preference https://gerrit.wikimedia.org/r/98276
Change 98276 merged by jenkins-bot: Removed 'Disable browser page caching" user preference https://gerrit.wikimedia.org/r/98276
Congratulations. :-)
(In reply to comment #15) > Congratulations. :-) Thanks ;) Lets remove user preference clutter.
Change 100584 had a related patch set uploaded by Cmcmahon: preference no longer exists per Bug 52809 https://gerrit.wikimedia.org/r/100584
Change 100584 merged by jenkins-bot: preference no longer exists per Bug 52809 https://gerrit.wikimedia.org/r/100584