diff --git a/lib/Configuration.php b/lib/Configuration.php
index a7b429b4bc2..4bf1a4a158e 100644
--- a/lib/Configuration.php
+++ b/lib/Configuration.php
@@ -28,7 +28,7 @@ final class Configuration {
 	 *
 	 * @todo Replace this property by a constant.
 	 */
-	public static $VERSION = '2018-12-11';
+	public static $VERSION = 'dev.2018-12-11';
 
 	/**
 	 * Holds the configuration data.