Difference between revisions of "MediaWiki:Property.js"
Jump to navigation
Jump to search
(Created page with " (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].app...") |
m (Admin moved page MediaWiki:Property V4.js to MediaWiki:Property.js without leaving a redirect) |
(No difference)
| |
Latest revision as of 01:34, 21 February 2023
(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"));