Updated mediawiki/extensions
Project: mediawiki/extensions/FlaggedRevs  f511034b69bd7847f3b174182d3f38db768e0933

Adding comments for grep

Change-Id: Ie347bc21003b8cbc0fd542bb37c16394a8d2db88
Updated mediawiki/extensions
Project: mediawiki/extensions/Translate  94764091c01d0b5943e21d632515348e8ba0d875

(bug 45540) Add tooltips to the proofread and edit buttons

This adds on-hover tooltips to the proofread and edit buttons
in proofread mode.

This doesn't yet handle the "first proofreading" scenario.

Change-Id: I5c962cb983f5ffe3625748bd985850f29579c946