diff options
| -rw-r--r-- | examples/server/setup.php | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/examples/server/setup.php b/examples/server/setup.php index 2769939..ba5131b 100644 --- a/examples/server/setup.php +++ b/examples/server/setup.php @@ -414,6 +414,7 @@ function generate_config($download = false) { // Emit headers to force browser download. header("Content-type: text/plain"); header("Content-disposition: attachment; filename=config.php"); + print "<?php\n"; } else { ?> <html> @@ -435,6 +436,7 @@ Put the following text into <strong><? print dirname(__FILE__); print DIRECTORY_ <pre style="border: 1px solid gray; background: #eee; padding: 5px;"> <? +print "<?php\n"; } ?> <? if ($_SESSION['include_path']) { ?> @@ -542,6 +544,7 @@ function getOpenIDStore() } <? + print "?>"; if (!$download) { ?> </pre> |