wikimedia/mediawiki-extensions-Scribunto
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto synced 2024-11-28 10:10:04 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Scribunto/modules
History
Brad Jorsch e4575c0b7c Use jquery.spinner when console is pending 
This makes it more obvious to the user that something is going on.

Bug: 56472
Change-Id: I80938e0e48bd01eece4a99b8bda632a4b1375333
2013-12-10 13:07:54 -05:00
..
ext.scribunto.css (bug 45887) Improve error popup discoverability 2013-03-08 11:16:26 -05:00
ext.scribunto.edit.css Remove explicit direction: ltr 2013-08-24 11:23:03 +03:00
ext.scribunto.edit.js Use jquery.spinner when console is pending 2013-12-10 13:07:54 -05:00
ext.scribunto.js (bug 45887) Improve error popup discoverability 2013-03-08 11:16:26 -05:00