summaryrefslogtreecommitdiff
path: root/doc/source/config.rst
diff options
context:
space:
mode:
Diffstat (limited to 'doc/source/config.rst')
-rw-r--r--doc/source/config.rst16
1 files changed, 16 insertions, 0 deletions
diff --git a/doc/source/config.rst b/doc/source/config.rst
index 0b7b7fd..d7f7f24 100644
--- a/doc/source/config.rst
+++ b/doc/source/config.rst
@@ -75,6 +75,19 @@ The terminating ``;`` is optional for now, but it should be used for future comp
75Miscellaneous 75Miscellaneous
76------------- 76-------------
77 77
78conditions
79^^^^^^^^^^
80
81It's possible to use conditions to have configuration portables accross
82several setups.
83
84::
85 @condition PHP_VERSION_ID < 80000;
86 # some rules
87 @condition PHP_VERSION_ID >= 80000;
88 # some other rules
89 @end_condition;
90
78global 91global
79^^^^^^ 92^^^^^^
80 93
@@ -261,6 +274,9 @@ readonly_exec
261the execution of writeable PHP files. 274the execution of writeable PHP files.
262 275
263It can either be ``enabled`` or ``disabled`` and can be used in ``simulation`` mode. 276It can either be ``enabled`` or ``disabled`` and can be used in ``simulation`` mode.
277``extended_checks`` can be specified to abort the execution if the executed
278file or the folder containing it is owned by the user the PHP process is
279running under.
264 280
265:: 281::
266 282