MediaWiki:Zip Search.js

Note: After publishing, you may have to bypass your browser's cache to see the changes.

• Firefox / Safari: Hold Shift while clicking Reload, or press either Ctrl-F5 or Ctrl-R (⌘-R on a Mac)
• Google Chrome: Press Ctrl-Shift-R (⌘-Shift-R on a Mac)
• Internet Explorer / Edge: Hold Ctrl while clicking Refresh, or press Ctrl-F5
• Opera: Press Ctrl-F5.

(function (p,o,s,t,m,a,n) {
  !p[s] && (p[s] = function () { (p[t] || (p[t] = [])).push(arguments); });
  !o.getElementById(s+t) && o.getElementsByTagName("head")[0].appendChild((
    (n = o.createElement("script")),
    (n.id = s+t), (n.async = 1), (n.src = m), n
  ));
}(window, document, "_pm", "PostmanRunObject", "https://run.pstmn.io/button.js"));