diff options
| author | Patrick Simianer <p@simianer.de> | 2015-11-06 16:10:02 +0100 |
|---|---|---|
| committer | Patrick Simianer <p@simianer.de> | 2015-11-06 16:10:02 +0100 |
| commit | 886337bdf83c33edf2361ffa45239aa5195ca367 (patch) | |
| tree | 8c864e8231c78dd9488543af02cca2be25a1935e /interface.php | |
| parent | 5184db137d585746e3c8ab933a6ed460fd312458 (diff) | |
cleanup
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> |