Updated mediawiki/extensions
Project: mediawiki/extensions/Echo  0fd7915801e23f259054b63d6a9cdf8003f30906

Switching to short date headers based on user prefs (and timezone)

This change will allow people to switch between 'May 10' and
'10 May' as requested in bug 47211. It also now corrects for the
user's timezone settings.

Bug: 47211

Change-Id: I7c5eae52857fac2d82ff1cb0b10864a1e1b30b6a