From b47fc97b06ef1a0939f0f2d05e33b36288fa8303 Mon Sep 17 00:00:00 2001
From: Philipp Holzer <admin@philipp.info>
Date: Fri, 22 Feb 2019 23:55:13 +0100
Subject: [PATCH] readded note

---
 src/Core/Config.php | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/Core/Config.php b/src/Core/Config.php
index f974e2fff2..44556a6017 100644
--- a/src/Core/Config.php
+++ b/src/Core/Config.php
@@ -48,6 +48,8 @@ class Config
 	 * @brief Get a particular user's config variable given the category name
 	 * ($family) and a key.
 	 *
+	 * Note: Please do not store booleans - convert to 0/1 integer values!
+	 *
 	 * @param string  $cat        The category of the configuration value
 	 * @param string  $key           The configuration key to query
 	 * @param mixed   $default_value optional, The value to return if key is not set (default: null)