8,545
edits
MediaWiki:Common.js: Difference between revisions
Jump to navigation
Jump to search
no edit summary
No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
document.addEventListener('DOMContentLoaded', function() { | |||
var logoutLink = document.querySelector('#pt-logout a'); | |||
if (logoutLink) { | |||
logoutLink.setAttribute('title', 'Leave'); | |||
} | |||
}); | |||
function updateTimeCounter() { | function updateTimeCounter() { | ||
var counter = document.getElementById('time-counter'); | var counter = document.getElementById('time-counter'); | ||
