From 8b9dd229bc58e271cba9665d26882d8c8449ac36 Mon Sep 17 00:00:00 2001
From: Andrey Andreev <narf@devilix.net>
Date: Fri, 24 Jan 2014 14:41:22 +0200
Subject: [ci skip] Update Session library docs

---
 user_guide_src/source/helpers/date_helper.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'user_guide_src/source/helpers')

diff --git a/user_guide_src/source/helpers/date_helper.rst b/user_guide_src/source/helpers/date_helper.rst
index e9e122f1c..e7598df14 100644
--- a/user_guide_src/source/helpers/date_helper.rst
+++ b/user_guide_src/source/helpers/date_helper.rst
@@ -82,7 +82,7 @@ The following functions are available:
 		$time = time();
 		echo standard_date($format, $time);
 
-	.. note:: This function is DEPRECATED.Use the native ``date()`` combined with
+	.. note:: This function is DEPRECATED. Use the native ``date()`` combined with
 		`DateTime's format constants
 		<http://www.php.net/manual/en/class.datetime.php#datetime.constants.types>`_
 		instead::
-- 
cgit v1.2.3-24-g4f1b