Updated mediawiki/extensions
Project: mediawiki/extensions/WikiEditor  8551f7fb1480bf170637f0c1a451b40ed0e60790

Remove old username

My current user name is already in the list.

Change-Id: I52811900bf974614511f41c309c8a9e1843a0e45