Merge branch 'master' into move_language_report

Conflicts:
	core/Version.php

1 files changed, 16 insertions, 0 deletions

diff --git a/core/Version.php b/core/Version.php
index 179d6fd541..eab5ff373f 100644
--- a/core/Version.php
+++ b/core/Version.php
@@ -21,4 +21,20 @@ final class Version
      * @var string
      */
     const VERSION = '2.11.0-b3';
+
+    public function isStableVersion($version)
+    {
+        return (bool) preg_match('/^(\d+)\.(\d+)\.(\d+)$/', $version);
+    }
+
+    public function isVersionNumber($version)
+    {
+        return $this->isStableVersion($version) || $this->isNonStableVersion($version);
+    }
+
+    private function isNonStableVersion($version)
+    {
+        return (bool) preg_match('/^(\d+)\.(\d+)\.(\d+)-.{1,4}(\d+)$/', $version);
+    }
+
 }