Merge branch 'dev' into 'dev'

Dev sync

See merge request kostikov/core!1

1 files changed, 3 insertions, 2 deletions

diff --git a/boot.php b/boot.php
index 9045fe9f4..9e32bc783 100755
--- a/boot.php
+++ b/boot.php
@@ -50,10 +50,10 @@ require_once('include/attach.php');
 require_once('include/bbcode.php');
 
 define ( 'PLATFORM_NAME',           'hubzilla' );
-define ( 'STD_VERSION',             '5.1.2' );
+define ( 'STD_VERSION',             '5.1.5' );
 define ( 'ZOT_REVISION',            '6.0' );
 
-define ( 'DB_UPDATE_VERSION',       1238 );
+define ( 'DB_UPDATE_VERSION',       1239 );
 
 define ( 'PROJECT_BASE',   __DIR__ );
 
@@ -1207,6 +1207,7 @@ class App {
 				'$metas'           => self::$meta->get(),
 				'$plugins'         => $x['header'],
 				'$update_interval' => $interval,
+				'$sse_enabled'     => get_config('system', 'sse_enabled', 0),
 				'$head_css'        => head_get_css(),
 				'$head_js'         => head_get_js(),
 				'$linkrel'         => head_get_links(),