mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto
synced 2024-11-12 01:11:55 +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 |
||
---|---|---|
common | ||
engines | ||
modules | ||
tests/engines | ||
.gitignore | ||
.gitreview | ||
Scribunto.i18n.php | ||
Scribunto.magic.php | ||
Scribunto.namespaces.php | ||
Scribunto.php |