wikimedia/mediawiki-extensions-Scribunto
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto synced 2024-11-15 11:59:42 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Scribunto/modules
History
Brad Jorsch 49ec3cee05 Fix title passed to API scribunto-console 
The title should be passed with the proper namespace.

Change-Id: If63ebd707420ca600590f38b29d0e3c839b1f1b6
2013-02-07 12:37:14 -05:00
..
ext.scribunto.edit.css Reformat JavaScript and CSS code. 2012-10-07 16:13:39 +02:00
ext.scribunto.edit.js Fix title passed to API scribunto-console 2013-02-07 12:37:14 -05:00
ext.scribunto.js Reformat JavaScript and CSS code. 2012-10-07 16:13:39 +02:00