diff options
author | Andrey Andreev <narf@devilix.net> | 2013-11-12 16:04:55 +0100 |
---|---|---|
committer | Andrey Andreev <narf@devilix.net> | 2013-11-12 16:04:55 +0100 |
commit | f964b16f3db95d655420dfae2012ee9fbb98a1a8 (patch) | |
tree | a3a2acf87bf15604da653c67e1a348097225f817 /user_guide_src/source/helpers | |
parent | 35e3b0bc4f723b938160da87aeb5ad9e054507c4 (diff) |
Deprecate CI_Input::is_cli_request() and add common function is_cli() to replace it
Calls to this function are often needed before the Input library is available
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 5dfee8b48..8126eba6c 100644 --- a/user_guide_src/source/helpers/date_helper.rst +++ b/user_guide_src/source/helpers/date_helper.rst @@ -80,7 +80,7 @@ Example:: $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: |