summaryrefslogtreecommitdiff
path: root/doc/source/config.rst
diff options
context:
space:
mode:
authorjvoisin2018-08-21 14:22:44 +0200
committerjvoisin2018-08-21 14:22:44 +0200
commit20e9bfdece3d1b7de11c5e2d71d5d5be59bb54b4 (patch)
treeaac44c96ebe10aef07eca58d938777c9bed1c682 /doc/source/config.rst
parent01aff974e3e0af7df2250a2e7d5e8ee76b59752a (diff)
Document our type-juggling-prevention system
Diffstat (limited to 'doc/source/config.rst')
-rw-r--r--doc/source/config.rst5
1 files changed, 3 insertions, 2 deletions
diff --git a/doc/source/config.rst b/doc/source/config.rst
index b3495ae..14626ce 100644
--- a/doc/source/config.rst
+++ b/doc/source/config.rst
@@ -109,8 +109,9 @@ It can either be ``enabled`` or ``disabled``.
109Prevent sloppy comparison 109Prevent sloppy comparison
110^^^^^^^^^^^^^^^^^^^^^^^^^ 110^^^^^^^^^^^^^^^^^^^^^^^^^
111 111
112sloppy_comparison, disabled by default, will prevent php `type 112:ref:`Sloppy comparison prevention <sloppy-comparisons-feature>`, disabled by default, will prevent php `type
113juggling <https://secure.php.net/manual/en/language.types.type-juggling.php>`_ (``==``) , preventing any bypass of a comparison. 113juggling <https://secure.php.net/manual/en/language.types.type-juggling.php>`_ (``==``):
114two values with different types will always be different.
114 115
115It can either be ``enabled`` or ``disabled``. 116It can either be ``enabled`` or ``disabled``.
116 117