HomePhabricator

Updated mediawiki/extensions Project: mediawiki/extensions/MobileFrontend…

Authored by jenkins-bot.

Description

Updated mediawiki/extensions Project: mediawiki/extensions/MobileFrontend 661050d58b66752a1965b91be189e486730c9ad5

Render edit summaries on Special:MobileDiff

Like desktop diff does it. Also: Show minor-tag on Special:MobileDiff, too.

Bug: T101797
Change-Id: I5e37933196a977e5ae7f88d77f648121aadbbfbb

Event Timeline

Gerrit Code Review <gerrit@wikimedia.org> committed rMEXTfbee2f5f3911: Updated mediawiki/extensions Project: mediawiki/extensions/MobileFrontend… (authored by jenkins-bot <jenkins-bot@gerrit.wikimedia.org>).Jun 17 2015, 10:09 PM