diff options
| author | Aaron Schulz <aschulz@wikimedia.org> | 2017-02-10 10:09:05 -0800 |
|---|---|---|
| committer | Aaron Schulz <aschulz@wikimedia.org> | 2017-03-28 15:32:38 -0700 |
| commit | 488a647831011f8d1e8f8969ee7ae04d2498366f (patch) | |
| tree | ebdf1caf8d59ce36f49db88d28062c39049adbbf /includes/MergeHistory.php | |
| parent | 5c68ea56aa61bb745cb6bc4b26b559e36a462f6a (diff) | |
| download | mediawikicore-488a647831011f8d1e8f8969ee7ae04d2498366f.tar.gz mediawikicore-488a647831011f8d1e8f8969ee7ae04d2498366f.zip | |
Move IDatabase/IMaintainableDatabase to Rdbms namespace
Change-Id: If7e8a8ff574661fd827de8bcec11d2c39a687300
Diffstat (limited to 'includes/MergeHistory.php')
| -rw-r--r-- | includes/MergeHistory.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/includes/MergeHistory.php b/includes/MergeHistory.php index 8cf3af158182..cc589c981124 100644 --- a/includes/MergeHistory.php +++ b/includes/MergeHistory.php @@ -25,6 +25,7 @@ * @file */ use Wikimedia\Timestamp\TimestampException; +use Wikimedia\Rdbms\IDatabase; /** * Handles the backend logic of merging the histories of two |