wikimedia/mediawiki-extensions-Popups
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups synced 2024-11-27 17:00:37 +00:00
Code Issues Packages Projects Releases Wiki Activity

Use namespaced BetaFeatures class

Browse source 
Depends-On: Ia0304f06788de9ac7fd46bd03292f52af70c3f2f
Change-Id: Id7e52ab2643d15e943d85c668647b3d73595c9de
This commit is contained in:
Reedy 2021-10-01 02:31:05 +01:00 committed by Thiemo Kreuz (WMDE)
parent 8ed8184a46
commit 498f02e9bb
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
includes/PopupsContext.php
View file

@ -20,9 +20,9 @@
*/
namespace Popups;
use BetaFeatures;
use Config;
use ExtensionRegistry;
use MediaWiki\Extension\BetaFeatures\BetaFeatures;
use MediaWiki\MediaWikiServices;
use MediaWiki\User\UserOptionsLookup;
use Title;