diff --git a/version.php b/version.php index fff7e9b3394..e5c2af2fd05 100644 --- a/version.php +++ b/version.php @@ -29,11 +29,11 @@ defined('MOODLE_INTERNAL') || die(); -$version = 2018051703.10; // 20180517 = branching date YYYYMMDD - do not modify! +$version = 2018051703.11; // 20180517 = branching date YYYYMMDD - do not modify! // RR = release increments - 00 in DEV branches. // .XX = incremental changes. -$release = '3.5.3+ (Build: 20181210)'; // Human-friendly version name +$release = '3.5.3+ (Build: 20181214)'; // Human-friendly version name $branch = '35'; // This version's branch. $maturity = MATURITY_STABLE; // This version's maturity level.