__clone() is a public method, shouldn't be made protected
authorReedy <reedy@wikimedia.org>
Sat, 28 Apr 2012 01:30:53 +0000 (02:30 +0100)
committerReedy <reedy@wikimedia.org>
Sat, 28 Apr 2012 01:30:53 +0000 (02:30 +0100)
Change-Id: Ib4a716867b12be2cef90f87bc77c22ea2d890261

includes/filerepo/backend/FileBackendGroup.php
includes/filerepo/backend/lockmanager/LockManager.php
includes/filerepo/backend/lockmanager/LockManagerGroup.php

index 73815cf..d705f76 100644 (file)
@@ -21,7 +21,6 @@ class FileBackendGroup {
        protected $backends = array();
 
        protected function __construct() {}
-       protected function __clone() {}
 
        /**
         * @return FileBackendGroup
index 506d850..9f29eb3 100644 (file)
@@ -139,8 +139,6 @@ class ScopedLock {
                $this->type = $type;
        }
 
-       protected function __clone() {}
-
        /**
         * Get a ScopedLock object representing a lock on resource paths.
         * Any locks are released once this object goes out of scope.
index 5e53366..8465d58 100644 (file)
@@ -17,8 +17,6 @@ class LockManagerGroup {
        protected $managers = array();
 
        protected function __construct() {}
-       protected function __clone() {}
-
        /**
         * @return LockManagerGroup
         */