wikimedia / mediawiki

Completed

unknown

created 2016-10-25 17:14 UTC

	1 issue (minor) was introduced. 2 issues were fixed.
	2 new patches (Doc Comments) are available.

5.47

▶ ± 0

Head	Timo Tijhof 2016-09-17 15:50 GMT-0700 resourceloader: Deprecate mw.Map
⋮	25 more commits
Base	Translation updater bot 2016-10-22 20:04 UTC Localisation updates from https://translatewiki.net.