wikimedia/mediawiki-extensions-InputBox
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/InputBox synced 2024-11-23 22:54:02 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-InputBox/resources
History
Marius Hoch b71189cffe Improve initialization of ext.inputBox.js 
Change-Id: I45b6a6106ece16f069907076a8f1f635d95fd2df
2014-10-05 19:03:05 +02:00
..
ext.inputBox.js Improve initialization of ext.inputBox.js 2014-10-05 19:03:05 +02:00
ext.inputBox.styles.css InputBox: Cleanup usage of inline styles 2014-05-18 11:51:07 +02:00