This is done now:
https://phabricator.wikimedia.org/T193572
On Mon, Apr 30, 2018 at 1:33 AM, G Rundlett <greg.rundlett(a)gmail.com> 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