From 58c25a68a8b62f4f634cb6beedb86dd4a7eadd60 Mon Sep 17 00:00:00 2001
From: Juanjo Menent <jmenent@2byte.es>
Date: Sun, 15 Jan 2017 18:48:32 +0100
Subject: [PATCH] NEW: Event notifications in browser

---
 htdocs/core/ajax/check_events.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/htdocs/core/ajax/check_events.php b/htdocs/core/ajax/check_events.php
index ce52413ceab..03787c92f52 100644
--- a/htdocs/core/ajax/check_events.php
+++ b/htdocs/core/ajax/check_events.php
@@ -30,7 +30,7 @@ session_start();
 $time_update = 60;
 
 if (! empty($conf->global->AGENDA_NOTIFICATION)) {
-    if ($_SESSION['auto_check_events'] <= (int)$time) {
+    if ($_SESSION['auto_check_events'] <= (int) $time) {
         $_SESSION['auto_check_events'] = $time + $time_update;
 
         $eventos = array();