28 Dec
2014
28 Dec
'14
5:25 p.m.
Hi what about merging Extension:Update in core of mediawiki the extension is at https://www.mediawiki.org/wiki/Extension:Update%C2%A0and tells the user when there is an update to mediawiki and extension it is useful.
3829
Age (days ago)
3830
Last active (days ago)
wikitech-l@lists.wikimedia.org
3 comments
3 participants
participants (3)
-
MZMcBride
-
Ricordisamoa
-
Thomas Mulhall