Merge branch 'MDL-52809-master' of git://github.com/dpalou/moodle

diff --cc lib/db/services.php
Simple merge

diff --cc version.php
index 8454fe1,3c37546..4adc2d6
--- 1/version.php
--- 2/version.php
+++ b/version.php
@@@ -29,7 -29,7 +29,7 @@@
  
  defined('MOODLE_INTERNAL') || die();
  
- $version  = 2016030101.00;              // YYYYMMDD      = weekly release date of this DEV branch.
 -$version  = 2016022500.01;              // YYYYMMDD      = weekly release date of this DEV branch.
++$version  = 2016030102.00;              // YYYYMMDD      = weekly release date of this DEV branch.
                                          //         RR    = release increments - 00 in DEV branches.
                                          //           .XX = incremental changes.