// Don't bother loading the whole notification system if we never use it.
mw.loader.using( 'mediawiki.notification', function () {
// Don't bother loading the whole notification system if we never use it.
mw.loader.using( 'mediawiki.notification', function () {