From afbb53d70b6f53d529c568e87305bfb187601239 Mon Sep 17 00:00:00 2001 From: Dan Poltawski Date: Wed, 23 Dec 2015 11:35:50 +0000 Subject: [PATCH] weekly release 3.1dev --- version.php | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/version.php b/version.php index 10a1d8ad5bf04..1017b141dec85 100644 --- a/version.php +++ b/version.php @@ -29,11 +29,11 @@ defined('MOODLE_INTERNAL') || die(); -$version = 2015122100.02; // YYYYMMDD = weekly release date of this DEV branch. +$version = 2015122300.00; // YYYYMMDD = weekly release date of this DEV branch. // RR = release increments - 00 in DEV branches. // .XX = incremental changes. -$release = '3.1dev (Build: 20151218)'; // Human-friendly version name +$release = '3.1dev (Build: 20151223)'; // Human-friendly version name $branch = '31'; // This version's branch. $maturity = MATURITY_ALPHA; // This version's maturity level.