Updated mediawiki/extensions
Project: mediawiki/extensions/FlaggedRevs  5b7717c0d68a49527825f280206a5ceff32bd68c

Native digits on 'mw-fr-revisiontag-edit'

Change-Id: I801919a3efddba7379a8b1ba4951c7bd1c9f18a0