MediaWiki:Common.js: Difference between revisions

No edit summary
No edit summary
 
Line 136: Line 136:
   script.text = JSON.stringify(schema);
   script.text = JSON.stringify(schema);
   document.head.appendChild(script);
   document.head.appendChild(script);
});
$(document).ready(function () {
  if (mw.config.get('wgNamespaceNumber') === 2 && mw.config.get('wgTitle').endsWith('/Dashboard')) {
    mw.util.addPortletLink('p-personal', mw.config.get('wgServer') + '/wiki/User:' + mw.config.get('wgUserName') + '/Dashboard', '🛠 Dashboard');
  }
});
});