Page MenuHomePhabricator

Remove "Disable browser page caching" user preference from MediaWiki core
Closed, ResolvedPublic

Description

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).


Version: 1.22.0
Severity: enhancement

Details

Reference
bz52809

Event Timeline

bzimport raised the priority of this task from to Medium.Nov 22 2014, 2:11 AM
bzimport set Reference to bz52809.

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

(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