Updated mediawiki/extensions
Project: mediawiki/extensions/CentralNotice  f1b7467e6e65d408d3fe38471c3656668156c998

Fix bad caching in bannerController

We removed $.ajaxSetup( cache: true ) in a previous revision; this
caused problems with cacheing. We now request the scripts via $.ajax
instead of <script>, and set cache:true locally.

Change-Id: Ie632136f2ef6e97989ac4b009ac9304895901fe8