Pierre 10cd3b1da4 Display notifications		2018-02-19 15:58:33 +01:00
..
dropdown.js	Display notifications	2018-02-19 15:58:33 +01:00
interface.js	Get the list of unread notifications from the server	2018-02-19 14:09:15 +01:00
service.js	Update the number of notifications	2018-02-19 09:39:00 +01:00
ui.js	Display notifications	2018-02-19 15:58:33 +01:00
utils.js	Can extract users ID from a notification.	2018-02-19 15:14:34 +01:00