MediaWiki:InteractiveNavigation.js: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

9 August 2018

  • curprev 10:3410:34, 9 August 2018RSchoenbaechler (WMF) talk contribs 1,281 bytes +1,281 Created page with "// Cache selectors var lastId, topMenu = $("#toc > ul"), topMenuHeight = topMenu.outerHeight()+1, // All list items menuItems = topMenu.find("a"), // Ancho..."