wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-12 01:10:07 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Echo/modules
History
jenkins-bot b46fcf57b3 Merge "Separate skin specific styles and improve Monobook appearance"
2015-11-11 02:18:59 +00:00
..
icons Update formatting 2015-10-03 23:28:54 -04:00
logger Fix various bugs in mw.echo.Logger and its callers 2015-10-08 15:20:31 -07:00
nojs Separate skin specific styles and improve Monobook appearance 2015-11-10 17:57:44 -08:00
ooui Merge "Separate skin specific styles and improve Monobook appearance" 2015-11-11 02:18:59 +00:00
special Update formatting 2015-10-03 23:28:54 -04:00
viewmodel Implement SortedList in Echo notifications 2015-11-06 11:01:10 -08:00
echo.variables.less Separate skin specific styles and improve Monobook appearance 2015-11-10 17:57:44 -08:00
echo.variables.monobook.less Separate skin specific styles and improve Monobook appearance 2015-11-10 17:57:44 -08:00
echo.variables.vector.less Separate skin specific styles and improve Monobook appearance 2015-11-10 17:57:44 -08:00
ext.echo.init.js Initialize notifications model outside of the widget 2015-11-06 10:49:11 -08:00
hooks.txt Add overlay hook for user scripts. 2013-06-13 21:27:26 -04:00