On Dec 28, 2014 2:07 AM, Ricordisamoa ricordisa...@openmailbox.org
wrote:
New users often need to purge the server cache,
{{Citation needed}} on often.
A simple link is way more helpful than visit the history page and
replace 'history' with 'purge', etc.
Also, a server-side extension has much
We should ask the author if he/she would like it to be moved from svn to git.
On Sunday, 28 December 2014, 15:21, Brad Jorsch (Anomie)
bjor...@wikimedia.org wrote:
On Dec 28, 2014 2:07 AM, Ricordisamoa ricordisa...@openmailbox.org
wrote:
New users often need to purge the server
Ricordisamoa wrote:
It looks like the Purge extension
https://www.mediawiki.org/wiki/Extension:Purge for MediaWiki could be
very useful to replace many similar gadgets on Wikimedia sites.
New users often need to purge the server cache, and don't know how to do
it. A simple link is way more helpful
On 28 Dec 2014 08:16, MZMcBride z...@mzmcbride.com wrote:
Ricordisamoa wrote:
It looks like the Purge extension
https://www.mediawiki.org/wiki/Extension:Purge for MediaWiki could be
very useful to replace many similar gadgets on Wikimedia sites.
New users often need to purge the server
I agree. Purging should either be integrated into the MW core or the extension
needs to be made so anyone can use it whenever needed without needing JS.
Date: Sun, 28 Dec 2014 09:38:26 -0800
From: jdlrob...@gmail.com
To: wikitech-l@lists.wikimedia.org
Subject: Re: [Wikitech-l] Status
It looks like the Purge extension
https://www.mediawiki.org/wiki/Extension:Purge for MediaWiki could be
very useful to replace many similar gadgets on Wikimedia sites.
New users often need to purge the server cache, and don't know how to do it.
A simple link is way more helpful than visit the