diff options
Diffstat (limited to 'interface.php')
| -rw-r--r-- | interface.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/interface.php b/interface.php index 5a27ae1..ab38f72 100644 --- a/interface.php +++ b/interface.php @@ -15,7 +15,7 @@ <body> -<?php include("header.php"); ?> +<?php include("header.inc.php"); ?> <!-- Derivation editor --> <div id="derivation_editor"> @@ -102,7 +102,7 @@ foreach($db->raw_source_segments as $s) { <p class="small" style="text-align:right"><a href="#">^</a></p> -<?php include("footer.php"); ?> +<?php include("footer.inc.php"); ?> </body> </html> |