diff options
| author | James D. Forrester <jforrester@wikimedia.org> | 2023-09-18 14:56:39 +0100 |
|---|---|---|
| committer | James D. Forrester <jforrester@wikimedia.org> | 2023-09-18 18:24:39 +0100 |
| commit | 94ece673b25bb195867656b2dc8301236f38bd2c (patch) | |
| tree | 2322fb433ff1ab6cf637ac4d7570eed917a3ec51 /includes/ResourceLoader/UserStylesModule.php | |
| parent | 459cbb0494badd6630b0538d8f429f6728b305ec (diff) | |
| download | mediawikicore-94ece673b25bb195867656b2dc8301236f38bd2c.tar.gz mediawikicore-94ece673b25bb195867656b2dc8301236f38bd2c.zip | |
Namespace TitleValue under \MediaWiki\Title
One of the big ones, so doing this alone.
Bug: T166010
Change-Id: I4c901d5c32696d8334ec30cede7d9b6f3d8d645e
Diffstat (limited to 'includes/ResourceLoader/UserStylesModule.php')
| -rw-r--r-- | includes/ResourceLoader/UserStylesModule.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/includes/ResourceLoader/UserStylesModule.php b/includes/ResourceLoader/UserStylesModule.php index 63e165036f31..3aeee03b21fd 100644 --- a/includes/ResourceLoader/UserStylesModule.php +++ b/includes/ResourceLoader/UserStylesModule.php @@ -24,7 +24,7 @@ namespace MediaWiki\ResourceLoader; use MediaWiki\MainConfigNames; use MediaWiki\MediaWikiServices; -use TitleValue; +use MediaWiki\Title\TitleValue; /** * Module for user customizations styles. |