api
|
Replace .parent with .super
|
2018-05-22 15:56:46 +01:00 |
controller
|
build: Update eslint and other linters
|
2017-10-17 13:53:08 +01:00 |
logger
|
Split up $wgEchoConfig
|
2016-12-05 15:44:12 -08:00 |
model
|
Fix config documentation
|
2018-05-30 17:47:20 +00:00 |
nojs
|
Add extra margin for the badge when count is 99+
|
2018-03-28 19:44:38 +03:00 |
styles
|
Merge "Sticky toolbar: Add missing vendor prefix"
|
2018-04-30 22:56:43 +00:00 |
ui
|
Fix config documentation
|
2018-05-30 17:47:20 +00:00 |
hooks.txt
|
(re)Add JavaScript hooks to Notifications
|
2016-10-14 17:25:25 -05:00 |
mw.echo.js
|
build: Replace jscs/jshint with eslint
|
2016-11-23 15:25:59 -08:00 |