From 3ca505cc7e476ec0a54d239cfa8a9326f26b7db8 Mon Sep 17 00:00:00 2001
From: Morris Jobke <hey@morrisjobke.de>
Date: Thu, 26 Mar 2015 14:29:52 +0100
Subject: [PATCH] add end tag for config documentation to be able to extend the
 documentation

---
 .../configuration_server/config_sample_php_parameters.rst      | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/admin_manual/configuration_server/config_sample_php_parameters.rst b/admin_manual/configuration_server/config_sample_php_parameters.rst
index 2dc2192fe..2b0cf3018 100644
--- a/admin_manual/configuration_server/config_sample_php_parameters.rst
+++ b/admin_manual/configuration_server/config_sample_php_parameters.rst
@@ -1126,3 +1126,6 @@ configuration. DO NOT ADD THIS SWITCH TO YOUR CONFIGURATION!
 
 If you, brave person, have read until here be aware that you should not
 modify *ANY* settings in this file without reading the documentation.
+
+.. ALL_OTHER_SECTIONS_END
+.. Generated content above. Don't change this.