Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  8223cb9d7a872ddca781c2d18b1c4cb4d2aff88c

Search: Prevent unneeded API request when there aren't any titles

Watchlist stars no longer searches for [undefined, undefined, undefined],
caused by looking at other <ul>s that happen to be in the search section.

Bug: 63317
Change-Id: I2a09523ba1128747b477ec4a0c16a3183bdd022b