MediaWiki:Common.js: Unterschied zwischen den Versionen

Version vom 26. Januar 2022, 19:42 Uhr

$(document).ready( function() {
  var tree = $('#wikitext-sidebar');
  $('#p-logo').after( tree.html() );
  tree.remove();
  $('#siteTree').bind('fancytreeinit', function(event, data) {
        data.tree.makeTitleVisible();
        $('#siteTree').fancytree("option", "icons", false);
        });

  $("#siteTree").resizable( {
    minWidth: 200, maxWidth: 464, handles: "e", stop: function() {
      $("#content, #left-navigation").css("margin-left", ($(this).width()+25)+"px");
      $("#p-logo a").css("width", ($(this).width())+"px");
      }
    }).css("border-right", "#d3d3d3 4px ridge");


  $("#siteTree").height($(window).height()-250);

  // Ordinäres Menü entfernen
//  $("#p-navigation").remove();

  // TopBar
  //var topbar = $('#gmpwiki-topbar li');
  //$("#mw-head .vector-menu-content-list").append($(topbar));
  //$('#gmpwiki-topbar, #pt-logout').remove();
});