Add new version

idmarinas · Nov 6, 2023 · 09603d0 · 09603d0
1 parent cf54ad4
commit 09603d0
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 3 deletions.
diff --git a/src/core/Installer/Pattern/Version.php b/src/core/Installer/Pattern/Version.php
@@ -141,6 +141,7 @@ trait Version
         '7.1.10 IDMarinas Edition'        => 70110,
         '7.1.11 IDMarinas Edition'        => 70111,
         '7.1.12 IDMarinas Edition'        => 70112,
+        '7.1.13 IDMarinas Edition'        => 70113,
     ];
 
     /**

diff --git a/src/core/Kernel.php b/src/core/Kernel.php
@@ -25,11 +25,11 @@ class Kernel extends BaseKernel
 {
     use MicroKernelTrait;
 
-    public const VERSION             = '7.1.12 IDMarinas Edition'; // Version of game in public display format.
-    public const VERSION_ID          = 70112; // Identify version of game in numeric format.
+    public const VERSION             = '7.1.13 IDMarinas Edition'; // Version of game in public display format.
+    public const VERSION_ID          = 70113; // Identify version of game in numeric format.
     public const MAJOR_VERSION       = 7;
     public const MINOR_VERSION       = 1;
-    public const RELEASE_VERSION     = 12;
+    public const RELEASE_VERSION     = 13;
     public const EXTRA_VERSION       = '';
     public const VERSION_NUMBER      = self::VERSION_ID; //-- Alias of VERSION_ID
     public const TEXT_DOMAIN_DEFAULT = 'app_default';