diff options
| author | Umherirrender <umherirrender_de.wp@web.de> | 2024-12-03 00:09:19 +0100 |
|---|---|---|
| committer | Umherirrender <umherirrender_de.wp@web.de> | 2024-12-03 00:09:19 +0100 |
| commit | 4047d516ea23829952fa1f1626cba6a86e2ac3a5 (patch) | |
| tree | 893200ed155ae6797208e9524c8713c626a500f3 /includes/recentchanges | |
| parent | 698c2c3ff4504027219a572a2f1bb36063ef098f (diff) | |
| download | mediawikicore-4047d516ea23829952fa1f1626cba6a86e2ac3a5.tar.gz mediawikicore-4047d516ea23829952fa1f1626cba6a86e2ac3a5.zip | |
Use namespaced classes
Change-Id: I32ee63b83a7b895bef46fab728abc16172410299
Diffstat (limited to 'includes/recentchanges')
| -rw-r--r-- | includes/recentchanges/CategoryMembershipChange.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/includes/recentchanges/CategoryMembershipChange.php b/includes/recentchanges/CategoryMembershipChange.php index 83ee6ff18396..5ec3aa7fa150 100644 --- a/includes/recentchanges/CategoryMembershipChange.php +++ b/includes/recentchanges/CategoryMembershipChange.php @@ -24,6 +24,7 @@ use MediaWiki\Page\PageIdentity; use MediaWiki\Revision\RevisionRecord; use MediaWiki\Title\Title; use MediaWiki\User\UserIdentity; +use Wikimedia\Rdbms\IDBAccessObject; /** * Helper class for category membership changes |