OpenStreetBrowser/src/permalink.js

let permalink

register_hook('state-update', function (state, hash) {
  permalink.href = hash
})

register_hook('init', function () {
  let li = document.createElement('li')

  permalink = document.createElement('a')
  li.appendChild(permalink)
  permalink.innerHTML = lang('main:permalink')

  let menu = document.getElementById('menu')
  menu.appendChild(li)
})