diff options
Diffstat (limited to 'wiki.php')
| -rw-r--r-- | wiki.php | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/wiki.php b/wiki.php index 63a5ab1..2661699 100644 --- a/wiki.php +++ b/wiki.php @@ -2,6 +2,7 @@ <html xmlns="http://www.w3.org/1999/" lang="en" xml:lang="en"> <head> <meta http-equiv="Content-Type" content="text; charset=utf-8" /> + <meta name="viewport" content="width=device-width, initial-scale=1" /> <title>tilde.institute :: Wiki</title> <link rel="stylesheet" href="tilde.css" type="text/css"/> <link rel="icon" type="image/png" href="icon.png"/> @@ -13,18 +14,18 @@ <div id="logobyline"> of OpenBSD Education </div> - </div> + </div> <div id="navigation"> <a href="http://tilde.institute">News</a> :: <a href="/signup">Sign Up</a> :: <a href="/coc">Code of Conduct</a> :: <a href="https://tilde.zone/@tildeinstitute">Mastodon</a> :: <a href="/wiki">Wiki</a> :: <a href="https://tildegit.org/institute">Git</a> :: <a href="/stats">Stats</a> </div> <div id="content"> - <?php + <?php if (!isset($_GET["page"]) || !file_exists("wikipages/{$_GET['page']}.wiki")) { ?> <h2>~institute wiki</h2> <p>Welcome to the tilde.institute wiki</p> - + <p>If you are new here, you likely want to check out the <a href="wiki.php?page=gettingstartedcommands">"getting started" page</a>"</p> <p>If you know your way around and want to contribute to the wiki, check out the |