Updated mediawiki/extensions
Project: mediawiki/extensions/PageTriage  bf310419eafa640a8814e81c5c2be4a408d2e5f8

Replace deprecated mw.user.name() with mw.user.getName()

Change-Id: I0e55917eb7cf7be24f7a2898bd2b67c7b46c2ee6