diff --git a/libraries/src/Version.php b/libraries/src/Version.php
index 7d782f23c64f3..88469aeb3b454 100644
--- a/libraries/src/Version.php
+++ b/libraries/src/Version.php
@@ -62,24 +62,6 @@ final class Version
 	 */
 	const EXTRA_VERSION = 'dev';
 
-	/**
-	 * Release version.
-	 *
-	 * @var    string
-	 * @since  3.5
-	 * @deprecated  4.0  Use separated version constants instead
-	 */
-	const RELEASE = '4.0';
-
-	/**
-	 * Maintenance version.
-	 *
-	 * @var    string
-	 * @since  3.5
-	 * @deprecated  4.0  Use separated version constants instead
-	 */
-	const DEV_LEVEL = '0-dev';
-
 	/**
 	 * Development status.
 	 *
@@ -88,15 +70,6 @@ final class Version
 	 */
 	const DEV_STATUS = 'Development';
 
-	/**
-	 * Build number.
-	 *
-	 * @var    string
-	 * @since  3.5
-	 * @deprecated  4.0
-	 */
-	const BUILD = '';
-
 	/**
 	 * Code name.
 	 *