diff --git a/config-dist.php b/config-dist.php index 1f59f8e45f9..e3402daa23d 100644 --- a/config-dist.php +++ b/config-dist.php @@ -489,8 +489,6 @@ $CFG->admin = 'admin'; // // "\\core\\lock\\postgres_lock_factory" - DB locking based on postgres advisory locks. // -// "\\core\\lock\\mysql_lock_factory" - DB locking based on mysql lock functions. -// // Settings used by the lock factories // // Location for lock files used by the File locking factory. This must exist