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>2019-07-02 16:40:23 +0300
committerErik Dubbelboer <erik@dubbelboer.com>2019-07-02 16:40:23 +0300
commitdf4f1e8dd7e773eebe88218510d90ef1161b1a39 (patch)
treea70b4eb4b5c5ee01dc16412e9b011d7c4a92d23c
parent9d37b0957f8cd90fa4e13ceddb956d85989224d8 (diff)
Show <empty> for empty key names
-rw-r--r--index.php3
1 files changed, 3 insertions, 0 deletions
diff --git a/index.php b/index.php
index e575b2c..8e695e0 100644
--- a/index.php
+++ b/index.php
@@ -96,6 +96,9 @@ if($redis) {
}
}
+ if (empty($name)) {
+ $name = '<empty>';
+ }
?>
<li<?php echo empty($class) ? '' : ' class="'.implode(' ', $class).'"'?>>