wikimedia/mediawiki-extensions-Scribunto
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto synced 2024-11-11 17:01:00 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Scribunto/modules
History
libraryupgrader ee52a19f4a build: Updating npm dependencies 
* eslint-config-wikimedia: 0.20.0 → 0.24.0
* grunt: 1.5.3 → 1.6.1
* stylelint-config-wikimedia: 0.13.1 → 0.14.0

Change-Id: I7f739b0e44d58c0c55837f941f4c26035415887f
2023-03-16 06:18:26 +00:00
..
ext.scribunto.edit.css Restore padding on #mw-scribunto-input to make cursor visible 2022-10-08 21:35:30 +00:00
ext.scribunto.edit.js build: Updating npm dependencies 2023-03-16 06:18:26 +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