defined('MOODLE_INTERNAL') || die();
- $version = 2020071500.00; // YYYYMMDD = weekly release date of this DEV branch.
-$version = 2020070400.00; // YYYYMMDD = weekly release date of this DEV branch.
++$version = 2020071500.01; // YYYYMMDD = weekly release date of this DEV branch.
// RR = release increments - 00 in DEV branches.
// .XX = incremental changes.
-$release = '4.0dev (Build: 20200704)'; // Human-friendly version name
+$release = '4.0dev (Build: 20200711)'; // Human-friendly version name
$branch = '40'; // This version's branch.
$maturity = MATURITY_ALPHA; // This version's maturity level.