diff options
| author | Antonio Gallo <tonicucoz@gmail.com> | 2011-06-05 11:09:40 +0000 |
|---|---|---|
| committer | Antonio Gallo <tonicucoz@gmail.com> | 2011-06-05 11:09:40 +0000 |
| commit | 9a5338f565e600e618cc4546abbf18d30d942b3a (patch) | |
| tree | e5eca4149e71ce3a204de2070cf78a9f9e0bfd6a /h-source/Application/Views/if_page_deleted.php | |
| parent | 310356e1c7777c0e421af7c744a44827c4869a5e (diff) | |
improved the way deleted devices are managed
Diffstat (limited to 'h-source/Application/Views/if_page_deleted.php')
| -rw-r--r-- | h-source/Application/Views/if_page_deleted.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/h-source/Application/Views/if_page_deleted.php b/h-source/Application/Views/if_page_deleted.php index 2d90632..1e2ab2d 100644 --- a/h-source/Application/Views/if_page_deleted.php +++ b/h-source/Application/Views/if_page_deleted.php @@ -20,7 +20,7 @@ // along with h-source. If not, see <http://www.gnu.org/licenses/>. ?> - <?php if (strcmp($isDeleted,'yes') === 0) { ?> + <?php if ($isDeleted) { ?> <div class="notebooks_viewall"> <div class="revision_alert"> |