This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.

Bug 18898 - No way to manually refresh a page
Summary: No way to manually refresh a page
Status: RESOLVED FIXED
Alias: None
Product: webplatform.org
Classification: Unclassified
Component: skin (show other bugs)
Version: unspecified
Hardware: PC All
: P1 normal
Target Milestone: ---
Assignee: Doug Schepers
QA Contact: public-webplatform-bugs list
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2012-09-17 18:52 UTC by Alex Komoroske
Modified: 2012-10-02 06:39 UTC (History)
2 users (show)

See Also:

Attachments

Description Alex Komoroske 2012-09-17 18:52:14 UTC 
MediaWiki has some built-in caching that means that even if you instruct your browser to do a hard refresh you still get old content. This can happen, for example, on pages that make use of semantic media wiki queries, where the cached result has recently become stale. This makes it hard to debug some complicated new queries as you're working on them (the workaround is to "touch" the file by saving a version with no edits).

Admins have a built-in "Refresh" tab on skins like Monobook. The default WPD skin should have that as well.
Comment 1 Scott Sweeney 2012-09-26 20:47:54 UTC 
Seems like this could preclude and make editing quite difficult so bumping to top pri.  Infra issue to Doug.
Comment 2 Doug Schepers 2012-10-02 06:39:02 UTC 
Added Refresh/Purge option to Edit menu