Kunal Mehta b539621b7f Split up ext.echo.nojs into badge and notifications styles ... And rename "nojs" to "styles". It was supposed to mean base styles that are used by no-JavaScript and JavaScript mode, but it confused people. Hopefully "styles" is clearer. Change-Id: Ie8d668fb0d95a9162392c5fa7c3200bcacef1025		2015-09-16 12:52:12 -07:00
..
SpecialNotifications.php	Split up ext.echo.nojs into badge and notifications styles	2015-09-16 12:52:12 -07:00