From dcbdb3c79bf59f546ea8ce38cc74187f0190a3f0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Stephan=20B=C3=B6sch-Plepelits?= <skunk@cg.tuwien.ac.at>
Date: Wed, 6 Feb 2019 09:56:06 +0100
Subject: [PATCH] Translate "permalink"

---
 src/permalink.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/permalink.js b/src/permalink.js
index b1eb2831..359c6fff 100644
--- a/src/permalink.js
+++ b/src/permalink.js
@@ -9,7 +9,7 @@ register_hook('init', function () {
 
   permalink = document.createElement('a')
   li.appendChild(permalink)
-  permalink.innerHTML = 'Permalink'
+  permalink.innerHTML = lang('main:permalink')
 
   let menu = document.getElementById('menu')
   menu.appendChild(li)