wikimedia/mediawiki-extensions-Scribunto
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto synced 2024-11-24 00:05:00 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Scribunto/modules
History
Kunal Mehta e8cfa46f87 Use OOUI instead of jquery.ui for error popup 
Use OOUI's PopupWidget to display error tracebacks/details instead of a
deprecated jquery.ui dialog.

Bug: T319361
Change-Id: Ie7796c853782de9874595674fe250f6702db717e
2022-10-08 20:33:27 +00:00
..
ext.scribunto.edit.css build: Update linters 2018-02-04 22:10:26 +00:00
ext.scribunto.edit.js Require CSRF token for action=scribunto-console 2022-10-05 14:38:50 +00:00
ext.scribunto.errors.css Use OOUI instead of jquery.ui for error popup 2022-10-08 20:33:27 +00:00
ext.scribunto.errors.js Use OOUI instead of jquery.ui for error popup 2022-10-08 20:33:27 +00:00
ext.scribunto.logs.css Rewrite error handling to avoid OutputPage::addInlineScript 2015-03-16 16:08:44 -04:00