summaryrefslogtreecommitdiffstats
path: root/user_guide_src/source/helpers
diff options
context:
space:
mode:
authorAndrey Andreev <narf@devilix.net>2014-01-24 13:41:22 +0100
committerAndrey Andreev <narf@devilix.net>2014-01-24 13:41:22 +0100
commit8b9dd229bc58e271cba9665d26882d8c8449ac36 (patch)
treed56129793ea6edc0f0f395569f9565ceeb3d4ee2 /user_guide_src/source/helpers
parent98d6cc84718f471b150bb4e1ec93a7c89a967f69 (diff)
[ci skip] Update Session library docs
Diffstat (limited to 'user_guide_src/source/helpers')
-rw-r--r--user_guide_src/source/helpers/date_helper.rst2
1 files changed, 1 insertions, 1 deletions
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::