Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  dc880f54658f757da9afe6a1a3cb248a4f7a79aa
null
add border to chevron of user info box on diff page (376)

Change-Id: I8b634c82a079bdbd30dc1a5c4c253e7d084a3b30