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:
authorr043v <noferov@gmail.com>2011-07-22 12:49:45 +0400
committerr043v <noferov@gmail.com>2011-07-22 12:49:45 +0400
commit159fae30c8cc449d4c8a1703070f451cd05c2655 (patch)
treeaa3ebdd17d6a324eae1a94ebca4cf4588bd0d771 /overview.php
parentb6617ab280d0e9ea5c714424b75917779420b3e7 (diff)
complete check to remove php short tag
Diffstat (limited to 'overview.php')
-rw-r--r--overview.php11
1 files changed, 6 insertions, 5 deletions
diff --git a/overview.php b/overview.php
index 0a11bb3..fdbcf82 100644
--- a/overview.php
+++ b/overview.php
@@ -1,4 +1,4 @@
-<?
+<?php
require_once 'common.inc.php';
@@ -38,9 +38,9 @@ require 'header.inc.php';
?>
-<? foreach ($config['servers'] as $i => $server) { ?>
+<?php foreach ($config['servers'] as $i => $server) { ?>
<div class="server">
- <h2><?=isset($server['name']) ? $server['name'] : format_html($server['host'])?></h2>
+ <h2><?php print isset($server['name']) ? $server['name'] : format_html($server['host'])?></h2>
<table>
@@ -56,7 +56,7 @@ require 'header.inc.php';
</table>
</div>
-<? } ?>
+<?php } ?>
<p class="clear">
<a href="https://github.com/ErikDubbelboer/phpRedisAdmin" target="_blank">phpRedisAdmin on GitHub</a>
@@ -65,7 +65,8 @@ require 'header.inc.php';
<p>
<a href="http://redis.io/documentation" target="_blank">Redis Documentation</a>
</p>
-<?
+<?php
require 'footer.inc.php';
+?> \ No newline at end of file