Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  80f06fb15da605eb6f7b79aaacacf94969c30e8b

Story 1920: Show minor edit tags on watchlist and history pages

Change-Id: I4496b596d3d16109baf5635b994e914d728c995b