HomePhabricator

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

Authored by Florian.

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

Event Timeline