Add comprehensive user configuration in extensions (#3397)

Before, the extension configuration was handled by its author. There
was discrepancies between extensions on how the configuration was
stored.
Now, we could rely on a single way of storing configuration. This won't
invalidate how the extensions are storing their configuration but will
allow authors to focus on what is important.

1 files changed, 9 insertions, 0 deletions

diff --git a/lib/Minz/Configuration.php b/lib/Minz/Configuration.php
index 3cf356a2b..7c60c7567 100644
--- a/lib/Minz/Configuration.php
+++ b/lib/Minz/Configuration.php
@@ -141,6 +141,15 @@ class Minz_Configuration {
 	}
 
 	/**
+	 * Check if a parameter is defined in the configuration
+	 *
+	 * @return bool
+	 */
+	public function hasParam(string $key) {
+		return isset($this->data[$key]);
+	}
+
+	/**
 	 * Return the value of the given param.
 	 *
 	 * @param $key the name of the param.