// ==UserScript==
// @name        wikimedia phabricator suggestion expander
// @namespace   wikimedia
// @description wikimedia phabricator suggestion expander
// @match       https://phabricator.wikimedia.org/*
// @version     1
// @grant       none
// ==/UserScript==

var inject = function() {
    JX.TypeaheadSource.prototype.setMaximumResultCount(15);
};
var script = document.createElement('script');
script.textContent = '(' + inject + ')()';
(document.head||document.documentElement).appendChild(script);
script.parentNode.removeChild(script);