Skip to content

Commit

Permalink
Merge branch 'master' of https://github.com/zhblue/hustoj
Browse files Browse the repository at this point in the history
  • Loading branch information
zhblue committed Jan 24, 2025
2 parents fb28673 + 649c3f6 commit 1f6fc30
Show file tree
Hide file tree
Showing 3 changed files with 5 additions and 5 deletions.
4 changes: 2 additions & 2 deletions trunk/web/template/bshark/nav.php
Original file line number Diff line number Diff line change
Expand Up @@ -153,7 +153,7 @@
if (isset($_SESSION[$OJ_NAME . '_' . 'administrator'])) {
?>

<a class="item" href="<?php echo $path_fix ?>swadmin">
<a class="item" href="<?php echo $path_fix ?>admin">
<?php echo $MSG_ADMIN; ?>
</a>
<?php
Expand Down Expand Up @@ -296,7 +296,7 @@
if ($_SESSION[$OJ_NAME . '_' . 'administrator']) {
?>

<a class="item" href="./swadmin">
<a class="item" href="./admin">
<?php echo $MSG_ADMIN; ?>
</a>
<?php
Expand Down
2 changes: 1 addition & 1 deletion trunk/web/template/bshark/problem.php
Original file line number Diff line number Diff line change
Expand Up @@ -188,7 +188,7 @@
if (isset($_SESSION[$OJ_NAME . '_' . 'administrator']) || isset($_SESSION[$OJ_NAME . '_' . 'problem_manager'])) {
require_once("include/set_get_key.php");
?>
<a href="swadmin/problem_edit.php?id=<?php echo $id ?>&getkey=<?php echo $_SESSION[$OJ_NAME . '_' . 'getkey'] ?>" class="item"><?php echo $MSG_EDIT; ?></a>
<a href="admin/problem_edit.php?id=<?php echo $id ?>&getkey=<?php echo $_SESSION[$OJ_NAME . '_' . 'getkey'] ?>" class="item"><?php echo $MSG_EDIT; ?></a>
<a href='javascript:phpfm(<?php echo $row['problem_id']; ?>)' class="item"><?php echo $MSG_TESTDATA; ?></a>
<?php } ?>
</div>
Expand Down
4 changes: 2 additions & 2 deletions trunk/web/template/sweet/swProfile.php
Original file line number Diff line number Diff line change
Expand Up @@ -91,10 +91,10 @@ function checkmail(){
}

if(isset($_SESSION[$OJ_NAME.'_'.'administrator'])||isset($_SESSION[$OJ_NAME.'_'.'contest_creator'])||isset($_SESSION[$OJ_NAME.'_'.'problem_editor'])){
$profile.= "<dd><a href=".$path_fix."swadmin/>$MSG_ADMIN</a></dd>";
$profile.= "<dd><a href=".$path_fix."admin/>$MSG_ADMIN</a></dd>";
}

//$profile.="</ul></li>";
?>
document.write("<?php echo ( $profile);?>");
document.getElementById("profile").innerHTML="<?php echo isset($sid)?$sid:$MSG_LOGIN ?>";
document.getElementById("profile").innerHTML="<?php echo isset($sid)?$sid:$MSG_LOGIN ?>";

0 comments on commit 1f6fc30

Please sign in to comment.