HomePhabricator

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

Authored by jenkins-bot.

Description

Updated mediawiki/extensions Project: mediawiki/extensions/MobileFrontend dc99a0e4f17c417be5c7201504ce6446daeb0080

Allow to use custom displayTitle in search

Bug: T85368
Change-Id: I35cd90d776534fddca4a7cd45cf0f641a11925dd

Event Timeline

Gerrit Code Review <gerrit@wikimedia.org> committed rMEXT15d409ce92ca: Updated mediawiki/extensions Project: mediawiki/extensions/MobileFrontend… (authored by jenkins-bot <jenkins-bot@gerrit.wikimedia.org>).Aug 29 2015, 7:29 PM