S2OJ/web/app/views/page-header.php

265 lines
7.5 KiB
PHP
Raw Permalink Normal View History

2016-07-18 16:39:37 +00:00
<?php
2022-11-06 02:26:21 +00:00
if (!isset($PageMainTitle)) {
$PageMainTitle = UOJConfig::$data['profile']['oj-name'];
}
if (!isset($PageMainTitleOnSmall)) {
$PageMainTitleOnSmall = UOJConfig::$data['profile']['oj-name-short'];
}
if (!isset($ShowPageHeader)) {
$ShowPageHeader = true;
}
if (!isset($PageContainerClass)) {
$PageContainerClass = 'container';
}
2023-02-28 09:31:54 +00:00
$new_user_msg_num = DB::selectCount("select count(*) from user_msg where receiver = '" . Auth::id() . "' and read_time is null");
$new_system_msg_num = DB::selectCount("select count(*) from user_system_msg where receiver = '" . Auth::id() . "' and read_time is null");
$new_msg_tot = $new_user_msg_num + $new_system_msg_num;
2022-11-06 02:26:21 +00:00
?>
2023-02-28 09:31:54 +00:00
<!-- Made with 💖 by Baoshuo ( https://baoshuo.ren ) -->
2016-07-18 16:39:37 +00:00
<!DOCTYPE html>
<html lang="<?= UOJLocale::locale() ?>">
2022-11-06 02:26:21 +00:00
<head>
<meta charset="utf-8" />
<meta name="viewport" content="width=device-width, initial-scale=1" />
<?php if (isset($_GET['locale'])) : ?>
2016-07-18 16:39:37 +00:00
<meta name="robots" content="noindex, nofollow" />
2022-11-06 02:26:21 +00:00
<?php endif ?>
<title><?= isset($PageTitle) ? $PageTitle : UOJConfig::$data['profile']['oj-name-short'] ?> - <?= $PageMainTitle ?></title>
<script type="text/javascript">
uojHome = ''; // '<?= HTML::url('/') ?>';
2022-11-06 02:26:21 +00:00
</script>
2016-07-18 16:39:37 +00:00
2023-02-05 12:55:14 +00:00
<!-- Bootstrap 5 (CSS) -->
2023-04-09 01:25:53 +00:00
<?= HTML::css_link('/css/bootstrap.min.css?v=5.3.0-alpha3') ?>
2023-02-05 12:55:14 +00:00
<!-- Bootstrap Icons -->
<?= HTML::css_link('/css/bootstrap-icons.min.css?v=2022.9.23') ?>
2016-07-18 16:39:37 +00:00
2023-02-05 12:55:14 +00:00
<!-- Custom styles for this template -->
<?= HTML::css_link('/css/uoj-bs5.css?v=' . UOJConfig::$data['profile']['s2oj-version']) ?>
2022-11-06 02:26:21 +00:00
<!-- jQuery (necessary for Bootstrap\'s JavaScript plugins) -->
<?= HTML::js_src('/js/jquery.min.js') ?>
<!-- jQuery autosize -->
<?= HTML::js_src('/js/jquery.autosize.min.js') ?>
<script type="text/javascript">
$(document).ready(function() {
$('textarea:not([data-no-autosize])').autosize();
});
</script>
<!-- jQuery cookie -->
<?= HTML::js_src('/js/jquery.cookie.min.js') ?>
2023-02-05 12:55:14 +00:00
<!-- Bootstrap 5: JavaScript -->
2023-04-09 01:25:53 +00:00
<?= HTML::js_src('/js/bootstrap.bundle.min.js?v=5.3.0-alpha3') ?>
2022-11-06 02:26:21 +00:00
<!-- Color converter -->
<?= HTML::js_src('/js/color-converter.min.js') ?>
2023-01-11 02:48:20 +00:00
<!-- Clipboard Polyfill -->
<?= HTML::js_src('/js/clipboard-polyfill.overwrite-globals.es5.min.js') ?>
2022-11-06 02:26:21 +00:00
<!-- uoj -->
<?= HTML::js_src('/js/uoj.js?v=' . UOJConfig::$data['profile']['s2oj-version']) ?>
<!-- readmore -->
<?= HTML::js_src('/js/readmore/readmore.min.js') ?>
<!-- LAB -->
<?= HTML::js_src('/js/LAB.min.js') ?>
<!-- favicon -->
<link rel="shortcut icon" href="<?= HTML::url('/images/favicon.ico') ?>" />
<?php if (isset($REQUIRE_LIB['blog-editor'])) : ?>
2016-07-18 16:39:37 +00:00
<!-- UOJ blog editor -->
<?php $REQUIRE_LIB['jquery.hotkeys'] = '' ?>
<?php $REQUIRE_LIB['switch'] = '' ?>
2023-03-03 13:02:53 +00:00
<?= HTML::css_link('/css/blog-editor.css?v=' . UOJConfig::$data['profile']['s2oj-version']) ?>
<?= HTML::js_src('/js/blog-editor/blog-editor.js?v=' . UOJConfig::$data['profile']['s2oj-version']) ?>
2022-11-06 02:26:21 +00:00
<?php endif ?>
<?php if (isset($REQUIRE_LIB['md5'])) : ?>
2016-07-18 16:39:37 +00:00
<!-- MD5 -->
<?= HTML::js_src('/js/md5.min.js') ?>
2022-11-06 02:26:21 +00:00
<?php endif ?>
<?php if (isset($REQUIRE_LIB['dialog'])) : ?>
2016-07-18 16:39:37 +00:00
<!-- Bootstrap dialog -->
<?= HTML::css_link('/css/bootstrap-dialog.min.css') ?>
<?= HTML::js_src('/js/bootstrap-dialog.min.js') ?>
2022-11-06 02:26:21 +00:00
<?php endif ?>
<?php if (isset($REQUIRE_LIB['switch'])) : ?>
2016-07-18 16:39:37 +00:00
<!-- Bootstrap switch -->
<?= HTML::css_link('/css/bootstrap-switch.min.css') ?>
<?= HTML::js_src('/js/bootstrap-switch.min.js') ?>
2022-11-06 02:26:21 +00:00
<?php endif ?>
<?php if (isset($REQUIRE_LIB['mathjax'])) : ?>
2016-07-18 16:39:37 +00:00
<!-- MathJax -->
2022-04-22 03:04:37 +00:00
<script>
MathJax = {
tex: {
2022-11-06 02:26:21 +00:00
inlineMath: [
['$', '$'],
['\\(', '\\)']
],
2022-04-22 03:04:37 +00:00
processEscapes: true
2023-01-20 13:23:22 +00:00
},
options: {
2023-01-25 07:45:53 +00:00
skipHtmlTags: {
'[-]': ['pre']
},
2023-01-31 23:49:46 +00:00
renderActions: {
addCopyText: [
155,
(doc) => {
for (const math of doc.math) {
MathJax.config.addCopyText(math, doc);
}
},
function(math, doc) {
MathJax.config.addCopyText(math, doc);
}
]
},
},
addCopyText(math, doc) {
doc.adaptor.append(
math.typesetRoot,
doc.adaptor.node(
'mjx-copytext', {
'aria-hidden': true,
},
[
doc.adaptor.text(
math.start.delim +
math.math +
math.end.delim)
]
)
);
},
startup: {
ready() {
MathJax._.output.chtml_ts.CHTML.commonStyles['mjx-copytext'] = {
display: 'inline-block',
position: 'absolute',
top: 0,
left: 0,
width: 0,
height: 0,
opacity: 0,
};
MathJax.startup.defaultReady();
}
},
2022-04-22 03:04:37 +00:00
};
2016-07-18 16:39:37 +00:00
</script>
2022-12-23 13:25:05 +00:00
<script id="MathJax-script" src="<?= HTML::url('/js/mathjax3/tex-mml-chtml.js') ?>"></script>
2022-11-06 02:26:21 +00:00
<?php endif ?>
<?php if (isset($REQUIRE_LIB['jquery.form'])) : ?>
2016-07-18 16:39:37 +00:00
<!-- jquery form -->
<?= HTML::js_src('/js/jquery.form.min.js') ?>
2022-11-06 02:26:21 +00:00
<?php endif ?>
<?php if (isset($REQUIRE_LIB['jquery.hotkeys'])) : ?>
2016-07-18 16:39:37 +00:00
<!-- jquery hotkeys -->
<?= HTML::js_src('/js/jquery.hotkeys.js') ?>
2022-11-06 02:26:21 +00:00
<?php endif ?>
2016-07-18 16:39:37 +00:00
2023-01-30 10:47:44 +00:00
<?php if (isset($REQUIRE_LIB['jquery.datatables'])) : ?>
<!-- jquery.datatable -->
<?= HTML::js_src('/js/jquery.datatables.min.js') ?>
<?php endif ?>
2022-11-06 02:26:21 +00:00
<?php if (isset($REQUIRE_LIB['morris'])) : ?>
2016-07-18 16:39:37 +00:00
<!-- morris -->
<?= HTML::js_src('/js/morris.min.js') ?>
<?= HTML::css_link('/css/morris.css') ?>
<?php $REQUIRE_LIB['raphael'] = "" ?>
2022-11-06 02:26:21 +00:00
<?php endif ?>
<?php if (isset($REQUIRE_LIB['raphael'])) : ?>
2016-07-18 16:39:37 +00:00
<!-- raphael -->
<?= HTML::js_src('/js/raphael.min.js') ?>
2022-11-06 02:26:21 +00:00
<?php endif ?>
<?php if (isset($REQUIRE_LIB['hljs'])) : ?>
2023-02-23 10:28:20 +00:00
<?= HTML::css_link('/css/highlightjs.github.min.css?v=11.6.0-20230223') ?>
2022-10-04 23:47:56 +00:00
<?= HTML::js_src('/js/highlightjs.min.js?v=11.6.0-20221005') ?>
2022-11-06 02:26:21 +00:00
<script>
$(document).ready(function() {
hljs.highlightAll();
});
</script>
<?php endif ?>
<?php if (isset($REQUIRE_LIB['dropzone'])) : ?>
<?= HTML::css_link('/css/dropzone.min.css') ?>
<?= HTML::js_src('/js/dropzone.min.js') ?>
<?php endif ?>
2022-09-28 07:39:39 +00:00
2022-11-06 02:26:21 +00:00
<?php if (isset($REQUIRE_LIB['calendar_heatmap'])) : ?>
<!-- jquery-calendar-heatmap -->
<?= HTML::css_link('/css/jquery.calendar_heatmap.min.css') ?>
<?= HTML::js_src('/js/jquery.calendar_heatmap.min.js') ?>
<?php endif ?>
2023-01-30 10:47:44 +00:00
<?php if (isset($REQUIRE_LIB['fontawesome'])) : ?>
<!-- fontawesome -->
<?= HTML::css_link('/css/font-awesome.min.css') ?>
<?php endif ?>
2022-11-06 02:26:21 +00:00
<!-- HTML5 shim and Respond.js IE8 support of HTML5 elements and media queries -->
<!--[if lt IE 9]>
2016-07-18 16:39:37 +00:00
<script src="https://oss.maxcdn.com/html5shiv/3.7.2/html5shiv.min.js"></script>
<script src="https://oss.maxcdn.com/respond/1.4.2/respond.min.js"></script>
<![endif]-->
2022-11-06 02:26:21 +00:00
<script type="text/javascript">
2016-07-18 16:39:37 +00:00
before_window_unload_message = null;
$(window).on('beforeunload', function() {
if (before_window_unload_message !== null) {
2022-11-06 02:26:21 +00:00
return before_window_unload_message;
2016-07-18 16:39:37 +00:00
}
});
2022-11-06 02:26:21 +00:00
</script>
2023-01-25 07:45:53 +00:00
2023-02-01 12:45:05 +00:00
<script>
console.log(
'S2OJ (build: <?= UOJConfig::$data['profile']['s2oj-version'] ?>)\n' +
'https://github.com/renbaoshuo/S2OJ\n' +
'\n' +
'Made with 💖 by Baoshuo ( https://baoshuo.ren )\n'
);
</script>
<script async data-domain="sjzezoj.com" src="https://stat.u.sb/js/script.js"></script>
2022-11-06 02:26:21 +00:00
</head>
2023-01-25 07:45:53 +00:00
2023-02-05 12:55:14 +00:00
<body class="d-flex flex-column min-vh-100
2022-11-06 02:26:21 +00:00
<?php if ($ShowPageHeader) : ?>
2023-02-23 10:28:20 +00:00
bg-body-tertiary
2023-02-28 09:31:54 +00:00
<?php endif ?>
<?php if (isset($PageBodyClass)) : ?>
<?= $PageBodyClass ?>
<?php endif ?>
">
2023-02-05 12:55:14 +00:00
<?php if ($ShowPageHeader) : ?>
2023-10-05 11:29:23 +00:00
<?php uojIncludeView($PageNav, [
'REQUIRE_LIB' => $REQUIRE_LIB,
'new_msg_tot' => $new_msg_tot,
'new_user_msg_num' => $new_user_msg_num,
'new_system_msg_num' => $new_system_msg_num,
]) ?>
2023-02-05 12:55:14 +00:00
<?php endif ?>
<div class="uoj-content <?= $PageContainerClass ?> flex-fill">