Update CREDITS file to include new contributors
authorMartin Urbanec <martin.urbanec@wikimedia.cz>
Thu, 27 Dec 2018 15:43:15 +0000 (16:43 +0100)
committerMartin Urbanec <martin.urbanec@wikimedia.cz>
Thu, 27 Dec 2018 15:43:15 +0000 (16:43 +0100)
commit4dfa67e9afbae2162b9a1790057672db44a9992b
treeaecb34d9cc0e762cd9663b0784fcfd56c40aa29f
parent5f4748f07fc91e5f1681e94460ce7480e4d97530
Update CREDITS file to include new contributors

Ran the updateCredits.php script to include new contributors of
MW and its extensions into the CREDITS file after a while. Keeping
the contributor list updated is useful.

Change-Id: Id54c1832313f489d9d1857d03f1663137d04ef60
.mailmap
CREDITS