diff options
| author | BeF | 2022-07-20 12:15:07 +0200 |
|---|---|---|
| committer | GitHub | 2022-07-20 12:15:07 +0200 |
| commit | 2aed4220c2d019cc9b46fec70cfd79d249498e14 (patch) | |
| tree | e7cc3d1d4db617fc5ab1dbcc60f2366407eb5da5 /doc/source/config.rst | |
| parent | 72109c9bf016145364b19162a5ff998fc5858a9c (diff) | |
| parent | 75595945d1d868fbd6db743809ca8a3eb5de3113 (diff) | |
Merge pull request #1 from jvoisin/pr1
pr for fetching upstream
Diffstat (limited to 'doc/source/config.rst')
| -rw-r--r-- | doc/source/config.rst | 16 |
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 | |||
| 75 | Miscellaneous | 75 | Miscellaneous |
| 76 | ------------- | 76 | ------------- |
| 77 | 77 | ||
| 78 | conditions | ||
| 79 | ^^^^^^^^^^ | ||
| 80 | |||
| 81 | It's possible to use conditions to have configuration portables accross | ||
| 82 | several 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 | |||
| 78 | global | 91 | global |
| 79 | ^^^^^^ | 92 | ^^^^^^ |
| 80 | 93 | ||
| @@ -261,6 +274,9 @@ readonly_exec | |||
| 261 | the execution of writeable PHP files. | 274 | the execution of writeable PHP files. |
| 262 | 275 | ||
| 263 | It can either be ``enabled`` or ``disabled`` and can be used in ``simulation`` mode. | 276 | It 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 | ||
| 278 | file or the folder containing it is owned by the user the PHP process is | ||
| 279 | running under. | ||
| 264 | 280 | ||
| 265 | :: | 281 | :: |
| 266 | 282 | ||
