diff options
Diffstat (limited to 'includes/Output/NoLocalSettings.php')
| -rw-r--r-- | includes/Output/NoLocalSettings.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/includes/Output/NoLocalSettings.php b/includes/Output/NoLocalSettings.php index 1f766d532fcd..694b1354cbb0 100644 --- a/includes/Output/NoLocalSettings.php +++ b/includes/Output/NoLocalSettings.php @@ -22,6 +22,7 @@ # T32219 : can not use pathinfo() on URLs since slashes do not match use MediaWiki\Html\TemplateParser; +use Wikimedia\ObjectCache\EmptyBagOStuff; $matches = []; $path = '/'; |