summaryrefslogtreecommitdiff
path: root/doc/source
diff options
context:
space:
mode:
authorjvoisin2022-07-19 21:26:26 +0200
committerjvoisin2022-07-19 21:29:31 +0200
commitcbf0a9be15e4345bbe0da0c6be305434928ea759 (patch)
tree06aa4e8a6dde83224af34be6451f80571a8bd423 /doc/source
parent06c72f58eb168de74150f6f5aa10f7f427f56c53 (diff)
Document conditions
Diffstat (limited to 'doc/source')
-rw-r--r--doc/source/config.rst13
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
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