Update CREDITS file to include new contributors
authorAlangi Derick <alangiderick@gmail.com>
Fri, 19 Jan 2018 12:33:36 +0000 (13:33 +0100)
committerUmherirrender <umherirrender_de.wp@web.de>
Sun, 28 Jan 2018 12:01:53 +0000 (12:01 +0000)
commit3a9d627274485f62fb5c83d0459aecf573b36eed
tree28c4d225f8f24c631653059f9d7150930ebb6ef2
parent791d4db7a93776df313d27ab42d7d5b7dff55f7c
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: I491c35285b562e1792715b83c674b8f1173add77
.mailmap
CREDITS