Updated mediawiki/extensions
Project: mediawiki/extensions/WhoIsWatching  52ce09e37f9e15d7a76e0d9f8cda8d208babdb50

Display user_name when user_real_name is empty

Change-Id: I0ac0f5e5afd29046cc081ca1687702c24dcf825d