summaryrefslogtreecommitdiff
path: root/doc/source
diff options
context:
space:
mode:
authorjvoisin2018-08-21 14:27:14 +0200
committerjvoisin2018-08-21 14:27:14 +0200
commit3f00f077959c966221107e731457c38ac1622660 (patch)
tree096a083835ce5806fca8dcd4c39d3fe09b9e71e8 /doc/source
parent20e9bfdece3d1b7de11c5e2d71d5d5be59bb54b4 (diff)
Fix a link
Diffstat (limited to 'doc/source')
-rw-r--r--doc/source/features.rst7
1 files changed, 3 insertions, 4 deletions
diff --git a/doc/source/features.rst b/doc/source/features.rst
index 5543696..aa1273d 100644
--- a/doc/source/features.rst
+++ b/doc/source/features.rst
@@ -327,10 +327,9 @@ annotated types and native functions, so it doesn't cover every instances of
327during comparisons. Since comparison between different types in PHP is 327during comparisons. Since comparison between different types in PHP is
328`notoriously <https://secure.php.net/manual/en/types.comparisons.php>`__ 328`notoriously <https://secure.php.net/manual/en/types.comparisons.php>`__
329difficult to get right, Snuffleupagus offers a way to **always** use the 329difficult to get right, Snuffleupagus offers a way to **always** use the
330``identical`` operator instead of the ``equal`` one (see the `operator section 330``identical`` operator instead of the ``equal`` one (see the `operator section <https://secure.php.net/manual/en/language.operators.comparison.php>`__
331<https://secure.php.net/manual/en/language.operators.comparison.php>` for PHP's documentation 331for PHP's documentation for more details), so that values with different types
332for more details), so that values with different types will always be treated 332will always be treated as being different.
333as being different.
334 333
335.. _readonly-exec-feature: 334.. _readonly-exec-feature:
336 335