HomePhabricator

mediawiki.notification: Hide #mw-notification-area when it's empty