changed naming scheme for included files

This commit is contained in:
Charlie Root 2020-06-29 23:27:53 -04:00
parent 2d0934b6f5
commit 603ac04ec0
8 changed files with 7 additions and 7 deletions

View File

@ -14,7 +14,7 @@
<body> <body>
<div id="container"> <div id="container">
<?php include("header.html"); ?> <?php include("_header.html"); ?>
<div id="content"> <div id="content">
<h1>tilde.institute code of conduct</h1> <h1>tilde.institute code of conduct</h1>
<p><strong>tl;dr</strong>: Be kind to each other. Think carefully about the words you <p><strong>tl;dr</strong>: Be kind to each other. Think carefully about the words you

View File

@ -14,7 +14,7 @@
<body> <body>
<div id="container"> <div id="container">
<?php include("header.html"); ?> <?php include("_header.html"); ?>
<div id="content" class="faq"> <div id="content" class="faq">
<h1>FAQ</h1> <h1>FAQ</h1>

View File

@ -15,7 +15,7 @@
<body> <body>
<div id="container"> <div id="container">
<?php include("header.html"); ?> <?php include("_header.html"); ?>
<div id="front-content"> <div id="front-content">
<p>Welcome to tilde.institute, a public-access UNIX system running OpenBSD. This is a space for people to <p>Welcome to tilde.institute, a public-access UNIX system running OpenBSD. This is a space for people to
explore the OpenBSD operating system, in addition to exploring the more social explore the OpenBSD operating system, in addition to exploring the more social
@ -122,7 +122,7 @@
<br /> <br />
</div> </div>
<div id="news"> <div id="news">
<?php include("newsdata.html"); ?> <?php include("_newsdata.html"); ?>
</div> </div>
<div id="sshfp"> <div id="sshfp">
<pre> <pre>

View File

@ -14,7 +14,7 @@
<body> <body>
<div id="container"> <div id="container">
<?php include("header.html"); ?> <?php include("_header.html"); ?>
<div id="content" class="signup"> <div id="content" class="signup">
<h1>Request an Account</h1> <h1>Request an Account</h1>
<p> <p>

View File

@ -12,7 +12,7 @@
</head> </head>
<body> <body>
<div id="container"> <div id="container">
<?php include("header.html"); ?> <?php include("_header.html"); ?>
<div id="content"> <div id="content">
<br /> <br />
<!--<p><code><?php include("table.weekconns"); ?></code> unique users logged in this week (resets Saturdays <code>00:00 UTC</code>)</p>--> <!--<p><code><?php include("table.weekconns"); ?></code> unique users logged in this week (resets Saturdays <code>00:00 UTC</code>)</p>-->

View File

@ -11,7 +11,7 @@
</head> </head>
<body> <body>
<div id="container"> <div id="container">
<?php include("header.html"); ?> <?php include("_header.html"); ?>
<div id="content" style="text-align: center;"> <div id="content" style="text-align: center;">
<?php <?php
require_once('bannedusers.php'); require_once('bannedusers.php');