MDL-51883 libraries: 3.1 final deprecation in lib/deprecatedlib.php