From e2776cf48bfef3ffe330dcd725256dfd519e7558 Mon Sep 17 00:00:00 2001
From: Marius Cramer <m.cramer@pixcept.de>
Date: Wed, 14 Jan 2015 04:28:37 -0500
Subject: [PATCH] Scroll to page top on content load
---
interface/lib/classes/IDS/Monitor.php | 4 ++--
1 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/interface/lib/classes/IDS/Monitor.php b/interface/lib/classes/IDS/Monitor.php
index f93e748..90c8958 100644
--- a/interface/lib/classes/IDS/Monitor.php
+++ b/interface/lib/classes/IDS/Monitor.php
@@ -250,7 +250,7 @@
$filterSet = $this->storage->getFilterSet();
if ($tags = $this->tags) {
- $filterSet = array_filter(
+ $filterSet = @array_filter(
$filterSet,
function (Filter $filter) use ($tags) {
return (bool) array_intersect($tags, $filter->getTags());
@@ -259,7 +259,7 @@
}
$scanKeys = $this->scanKeys;
- $filterSet = array_filter(
+ $filterSet = @array_filter(
$filterSet,
function (Filter $filter) use ($key, $value, $scanKeys) {
return $filter->match($value) || $scanKeys && $filter->match($key);
--
Gitblit v1.9.1