summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
Diffstat (limited to 'doc')
-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