wikimedia/mediawiki-extensions-Scribunto
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto synced 2024-11-27 17:50:06 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Scribunto/modules
History
Brad Jorsch e878314048 Handle session loss in the console 
If the session data gets lost, the console forgets the content and
previous commands. Detect this situation and handle it.

Change-Id: I82fb5e111c09091d4f9a87d2e1b1c245eced1420
2013-02-11 13:23:10 -05:00
..
ext.scribunto.edit.css Reformat JavaScript and CSS code. 2012-10-07 16:13:39 +02:00
ext.scribunto.edit.js Handle session loss in the console 2013-02-11 13:23:10 -05:00
ext.scribunto.js Reformat JavaScript and CSS code. 2012-10-07 16:13:39 +02:00