publik: don't include ▼ in publik menu label (#12622)

This commit is contained in:
Frédéric Péters 2016-07-18 11:59:36 +02:00
parent 0a08e63fec
commit 0eb08fb444
1 changed files with 1 additions and 1 deletions

View File

@ -161,7 +161,7 @@ $(function() {
}
var sidepage_button = $('#sidepage #applabel');
sidepage_button.text('Publik');
sidepage_button.text('Publik');
/* This won't work if portal agent is installed directly in a top domain
* name. Live with it. */