6 commits

Author	SHA1	Message	Date
jenkins-bot	1c7d93ba00	Merge "i18n: Native digits on PageNotificationsOptionWidget and PaginationWidget"	2016-07-19 21:53:38 +00:00
jenkins-bot	184874473d	Merge "Add tooltips to page filters"	2016-07-19 00:07:03 +00:00
Moriel Schottlender	eadaac1c84	Dim the title of current wiki if it has 0 notifications ... Bug: T139646 Change-Id: I827cb43d5badd0a13666226691450a73ddcc85ea	2016-07-15 11:42:47 -07:00
Stephane Bisson	35e782c3d8	Add tooltips to page filters ... Bug: T139644 Change-Id: I6ae0d0e8c6c7dd79b9ab00db1d601f670764d3a4	2016-07-13 09:51:51 -04:00
Ebrahim Byagowi	4eba4c1dd0	i18n: Native digits on PageNotificationsOptionWidget and PaginationWidget ... Similar to Icdd52ea0267ffbaa0e103070655735eff8423ca1 Change-Id: I8667fc8b7027d2c9c8b42155a7b79ef18500dc2b	2016-07-09 07:52:23 +00:00
Moriel Schottlender	820d2b0fa7	Add a cross-wiki sidebar to the Special:Notifications page ... Add a sidebar with cross-wiki sources and pages of unread notifications. The filter allows the user to fetch notifications from a foreign source and specific pages if those exist. Bug: T129366 Change-Id: I57d827a47f80274d75364c2099a9624049a26834	2016-06-21 14:49:42 -07:00