diff options
| author | jvoisin | 2018-08-21 14:27:14 +0200 |
|---|---|---|
| committer | jvoisin | 2018-08-21 14:27:14 +0200 |
| commit | 3f00f077959c966221107e731457c38ac1622660 (patch) | |
| tree | 096a083835ce5806fca8dcd4c39d3fe09b9e71e8 /doc/source | |
| parent | 20e9bfdece3d1b7de11c5e2d71d5d5be59bb54b4 (diff) | |
Fix a link
Diffstat (limited to 'doc/source')
| -rw-r--r-- | doc/source/features.rst | 7 |
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 | |||
| 327 | during comparisons. Since comparison between different types in PHP is | 327 | during 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>`__ |
| 329 | difficult to get right, Snuffleupagus offers a way to **always** use the | 329 | difficult 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 | 331 | for PHP's documentation for more details), so that values with different types |
| 332 | for more details), so that values with different types will always be treated | 332 | will always be treated as being different. |
| 333 | as being different. | ||
| 334 | 333 | ||
| 335 | .. _readonly-exec-feature: | 334 | .. _readonly-exec-feature: |
| 336 | 335 | ||
