MediaWiki:Common.js: Difference between revisions

← Older edit

@@ Line 142: / Line 142: @@
    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');
+  }
+});
+// Show lock icon for protected pages
+$(function () {
+  if (mw.config.get("wgIsProtected")) {
+    $("<span>")
+      .addClass("mw-protected-icon")
+      .css({
+        float: "right",
+        marginLeft: "10px",
+        fontSize: "16px"
+      })
+      .html("🔒")
+      .prependTo(".mw-first-heading");
    }
 });