Matthias Mullie 1be7039660 Use current HTML formatter (for special page) instead of previous ... The existing "html" formatter was used for the special page & is now superseeded by the new-style "special" formatter. Previous "html" notifications are no longer used & could even be broken. Instead of keeping the old "html" formatter around, we should let it use the new formatter (and eventually just kill that redundant format in the API) Change-Id: Ibbd40aafa9eee718b196ad62f6edc99629b263b4		2016-02-04 20:03:19 +00:00
..
NotificationFormatterTest.php	Use current HTML formatter (for special page) instead of previous	2016-02-04 20:03:19 +00:00