HomePhabricator

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

Description

Updated mediawiki/extensions Project: mediawiki/extensions/Gather 962caa6b442c3581051ab3e223feb62a94021cb0

Follow up change in MobileFrontend

Now, we can depend on the search api only, so no need to load the whole
search module anymore.

Depends on: I4e5979dfd82c37

Bug: T110069
Change-Id: I9a14ff6552024057c5ae41f4ad911538f2687914

Details

Provenance
FlorianAuthored on
Gerrit Code Review <gerrit@wikimedia.org>Committed on Sep 2 2015, 9:34 PM
Parents
rMEXT310ef97df395: Syncronize VisualEditor: c503547..7c2f6e1
Branches
Unknown
Tags
Unknown
ChangeId
I9a14ff6552024057c5ae41f4ad911538f2687914