Display the number of notifications on page title.

This commit is contained in:
Pierre HUBERT
2018-11-24 16:01:45 +01:00
parent d49b04e6fb
commit 46bb22b17b
15 changed files with 89 additions and 11 deletions

View File

@ -288,6 +288,7 @@ class Dev {
"js/common/jsFiles.js",
"js/common/debug.js",
"js/common/page.js",
"js/common/pageTitle.js",
"js/common/notifications.js",
"js/common/formChecker.js",
"js/common/date.js",