From ef6df9e70e88b9bdf1f233b36183a84e7a70d0d6 Mon Sep 17 00:00:00 2001 From: Mihail Geshoski Date: Fri, 18 Jul 2025 14:52:14 +0800 Subject: [PATCH] weekly release 5.1dev --- public/version.php | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/public/version.php b/public/version.php index f475bfdb0fa..4f4a0f05323 100644 --- a/public/version.php +++ b/public/version.php @@ -29,9 +29,9 @@ defined('MOODLE_INTERNAL') || die(); -$version = 2025071200.00; // YYYYMMDD = weekly release date of this DEV branch. +$version = 2025071800.00; // YYYYMMDD = weekly release date of this DEV branch. // RR = release increments - 00 in DEV branches. // .XX = incremental changes. -$release = '5.1dev (Build: 20250711)'; // Human-friendly version name +$release = '5.1dev (Build: 20250718)'; // Human-friendly version name $branch = '501'; // This version's branch. $maturity = MATURITY_ALPHA; // This version's maturity level.