Updated mediawiki/extensions
Project: mediawiki/extensions/PrefStats  b02a34e8a67e0ba051ba348f988279282ab452cc

Remove old username

My current user name is already in the list.

Change-Id: Ie1376e0a3f713bb846412fc6d299f0c646614e90
Updated mediawiki/extensions
Project: mediawiki/extensions/UserOptionStats  9d37086a57eb4eab6dcd9bcffa887b3162a2a036

Remove old username

My current user name is already in the list.

Change-Id: I2bea0c032989f747a3f149abc9ea5f9f420428f9