use array_key_exists instead of empty to test array key

diff --git a/classes/Notice.php b/classes/Notice.php
index 38e31cb2745189ff0a3b41ee1711f48803318e0e..ed2686a3836afb5e25c44c39008ff51cf1d27398 100644 (file)
--- a/classes/Notice.php
+++ b/classes/Notice.php
@@ -1634,8 +1634,7 @@ class Notice extends Managed_DataObject
             foreach ($mention['mentioned'] as $mentioned) {
 
                 // skip if they're already covered
-
-                if (!empty($replied[$mentioned->id])) {
+                if (array_key_exists($mentioned->id, $replied)) {
                     continue;
                 }