HomePhabricator

Updated mediawiki/extensions Project: mediawiki/extensions/WikidataPageBanner…

Authored by jenkins-bot.

Description

Updated mediawiki/extensions Project: mediawiki/extensions/WikidataPageBanner 941f1f26313ae1f7d4775d3d0da6814b058f307c

WikidataPageBanner disable on diff pages

Show no banner when viewing a diff of a page.

Bug: T110384
Change-Id: I922921142af086402a685078860760351243efcd

Event Timeline

Gerrit Code Review <gerrit@wikimedia.org> committed rMEXTd208606f8fc8: Updated mediawiki/extensions Project: mediawiki/extensions/WikidataPageBanner… (authored by jenkins-bot <jenkins-bot@gerrit.wikimedia.org>).Sep 2 2015, 5:57 PM