diff options
| author | jvoisin | 2022-07-19 21:26:26 +0200 |
|---|---|---|
| committer | jvoisin | 2022-07-19 21:29:31 +0200 |
| commit | cbf0a9be15e4345bbe0da0c6be305434928ea759 (patch) | |
| tree | 06aa4e8a6dde83224af34be6451f80571a8bd423 /doc/source/config.rst | |
| parent | 06c72f58eb168de74150f6f5aa10f7f427f56c53 (diff) | |
Document conditions
Diffstat (limited to '')
| -rw-r--r-- | doc/source/config.rst | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/doc/source/config.rst b/doc/source/config.rst index bbf3b91..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 | ||
