User:Brianjd/global.js

Note: After publishing, you may have to bypass your browser's cache to see the changes.

• Firefox / Safari: Hold Shift while clicking Reload, or press either Ctrl-F5 or Ctrl-R (⌘-R on a Mac)
• Google Chrome: Press Ctrl-Shift-R (⌘-Shift-R on a Mac)
• Edge: Hold Ctrl while clicking Refresh, or press Ctrl-F5.

/* Display list of revision IDs above normal revision list. */

var pageHistoryEl;

if ((pageHistoryEl = document.getElementById('pagehistory'))) {
  const revisionIdsLabel = document.createElement('label');
  pageHistoryEl.parentNode.insertBefore(revisionIdsLabel, pageHistoryEl);
  revisionIdsLabel.for = 'revisionIds';
  revisionIdsLabel.textContent = 'Revision IDs:';
  
  const revisionIdsEl = document.createElement('ul');
  pageHistoryEl.parentNode.insertBefore(revisionIdsEl, pageHistoryEl);
  revisionIdsEl.id = 'revisionIds';
  
  for (const revisionEl of pageHistoryEl.children) {
    const revisionIdEl = document.createElement('li');
    revisionIdsEl.prepend(revisionIdEl);
    
    const revisionId = revisionEl.dataset.mwRevid;
    revisionIdEl.textContent = revisionId;
  }
}