wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-12-01 10:56:44 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Echo/api
History
kaldari 0fd7915801 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
2013-06-12 17:45:40 -07:00
..
ApiEchoNotifications.php Switching to short date headers based on user prefs (and timezone) 2013-06-12 17:45:40 -07:00