mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto
synced 2024-11-27 17:50:06 +00:00
886c6ae06d
If a Scribunto error dialog is open and the user clicks another error, or the same error again, don't open another dialog window, instead close the old one and reuse it. Change-Id: I50b8d48ee551cfb8cb4e1e672a0e36e15b5ae216 |
||
---|---|---|
.. | ||
ext.scribunto.js |