diff options
| author | Andrey Andreev <narf@devilix.net> | 2014-01-24 13:41:22 +0100 |
|---|---|---|
| committer | Andrey Andreev <narf@devilix.net> | 2014-01-24 13:41:22 +0100 |
| commit | 8b9dd229bc58e271cba9665d26882d8c8449ac36 (patch) | |
| tree | d56129793ea6edc0f0f395569f9565ceeb3d4ee2 /user_guide_src/source/helpers | |
| parent | 98d6cc84718f471b150bb4e1ec93a7c89a967f69 (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.rst | 2 |
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:: |