* Add tips for projects under the server.

2022-07-22 15:20:18 +08:00
parent b61a3ab9ef
commit 0277ee77d0
8 changed files with 9 additions and 1 deletions
@@ -13,6 +13,7 @@
 <?php js::import($jsRoot . 'misc/base64.js');?>
 <?php js::set('hosts', $hosts);?>
 <?php js::set('repo', $repo);?>
+<?php js::set('mrLang', $lang->mr);?>
 <?php js::set('branchPrivs', array());?>
 <div id='mainContent' class='main-row'>
  <div class='main-col main-content'>