This is done now: https://phabricator.wikimedia.org/T193572
On Mon, Apr 30, 2018 at 1:33 AM, G Rundlett <[email protected]> wrote: >> >> I fully agree with, and support your proposal. > > Search is key > >> >> > _______________________________________________ > MediaWiki-l mailing list > To unsubscribe, go to: > https://lists.wikimedia.org/mailman/listinfo/mediawiki-l _______________________________________________ MediaWiki-l mailing list To unsubscribe, go to: https://lists.wikimedia.org/mailman/listinfo/mediawiki-l
