HomePhabricator

Updated mediawiki/extensions Project: mediawiki/extensions/Gather…

Authored by jenkins-bot <jenkins-bot@gerrit.wikimedia.org>.

Description

Updated mediawiki/extensions Project: mediawiki/extensions/Gather ba52189a5605b59c248a6711157742f8c0e2e5b3

Fix Gather editor interface

Caused by I2b5f1f0439dc6a83a6ef35077bbbc9fb8fc32b2d and various other issues.

This patch:

  • Restores icons to add/remove and search
  • Makes search results render again.
  • Shows labels again
  • Load header styles in editor

Bug: T101137
Bug: T102002
Bug: T102080
Change-Id: I933de7bab7f6c40cb0c1810686cc038968420ea5

Details

Committed
Gerrit Code ReviewJun 11 2015, 6:40 PM
Parents
rMEXTa1254cf22ee8: Updated mediawiki/extensions Project: mediawiki/extensions/MobileFrontend…
Branches
Unknown
Tags
Unknown
ChangeId
I933de7bab7f6c40cb0c1810686cc038968420ea5

Event Timeline

Gerrit Code Review <gerrit@wikimedia.org> committed rMEXT1972889b41bc: Updated mediawiki/extensions Project: mediawiki/extensions/Gather… (authored by jenkins-bot <jenkins-bot@gerrit.wikimedia.org>).Jun 11 2015, 6:40 PM