Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  8ff7121921e6f55cc0debcc0e9fb76fb6135009b

Tools: Use gruntfile to generate pngs

Change-Id: I07fa0cf0325bceeaffe89d02ccb63bebded7f572
Updated mediawiki/extensions
Project: mediawiki/extensions/CentralNotice  72e4c1e9d91fedc2ecfd58724a178029ef491d63

Temporary fix for bucket stickiness and expiry

This is a temporary measure to ensure that buckets do not cycle
haphasardly as described here:
https://www.mediawiki.org/wiki/Extension:CentralNotice/Buckets#Cycling_bucket_cookie_expiries.3F

With this patch, bucket cookies work like this:
- When requesting a banner, get a bucket from the bucket cookie, or
  if none is available, choose one randomly (same functionality as
  before).
- Only store the bucket in a cookie if a banner is received.
- Every time a banner is received, extend the bucket cookie's validity
  to last into the future the time indicated by wgNoticeBucketExpiry.

Change-Id: If520a709856d835ca37d41630329aeefeea466e7