Updated mediawiki/extensions
Project: mediawiki/extensions/RefreshSpecial  5a1dcd157cbe6a6aecdcd0877be395e015401436

Version 1.4.0

From ShoutWiki SVN repository. Rewrote the JS in jQuery, and
make use of RequestContext instead of globals.

Change-Id: Ie249b5accea13069b61411ca9bb64c8691736dd1