Update header.php

zhblue · Mar 20, 2024 · 8da3ade · 8da3ade
1 parent 2e503b7
commit 8da3ade
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/trunk/web/template/syzoj/header.php b/trunk/web/template/syzoj/header.php
@@ -129,8 +129,10 @@ function get_menu_news() {
         <div id="menu" class="ui stackable mobile ui container computer" style="margin-left:auto;margin-right:auto;">
             <a class="header item"  href="/"><span
                     style="font-family: 'Exo 2'; font-size: 1.5em; font-weight: 600; "><?php echo $domain==$DOMAIN?$OJ_NAME:ucwords($OJ_NAME)."'s OJ"?></span></a>
-            <a class="desktop-only item <?php if ($url=="") echo "active";?>" href="/"><i class="home icon"></i> <?php echo $MSG_HOME?></a>
+
           <?php
+            if(isset($OJ_AI_HTML)&&$OJ_AI_HTML) echo $OJ_AI_HTML;
+            else echo '<a class="desktop-only item href="/"><i class="home icon"></i>'.$MSG_HOME.'</a>';
             if(file_exists("moodle"))  // 如果存在moodle目录，自动添加链接
             {
               echo '<a class="item" href="moodle"><i class="group icon"></i>Moodle</a>';