Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/erikdubbelboer/phpRedisAdmin.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorErik Dubbelboer <erik@dubbelboer.com>2011-07-22 16:44:48 +0400
committerErik Dubbelboer <erik@dubbelboer.com>2011-07-22 16:44:48 +0400
commitf705e67557123062f323041ab8d1e071bd49282d (patch)
treef534b026d71d590077087d12f0592e7a842387bc /overview.php
parent6fc153129586c7b4181bb0589e423d1f04b9230a (diff)
replace print with echo (small bit faster)
Diffstat (limited to 'overview.php')
-rw-r--r--overview.php4
1 files changed, 2 insertions, 2 deletions
diff --git a/overview.php b/overview.php
index fdbcf82..d3454e7 100644
--- a/overview.php
+++ b/overview.php
@@ -40,7 +40,7 @@ require 'header.inc.php';
<?php foreach ($config['servers'] as $i => $server) { ?>
<div class="server">
- <h2><?php print isset($server['name']) ? $server['name'] : format_html($server['host'])?></h2>
+ <h2><?php echo isset($server['name']) ? $server['name'] : format_html($server['host'])?></h2>
<table>
@@ -69,4 +69,4 @@ require 'header.inc.php';
require 'footer.inc.php';
-?> \ No newline at end of file
+?>