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

Merge "Improve PHP code"

Browse source
This commit is contained in:
jenkins-bot 2024-04-16 16:23:40 +00:00 committed by Gerrit Code Review
parent 0d73ca0d80 07888b12b2
commit d8e4500700
1 changed files with 1 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
includes/PopupsContext.php
View file

@ -105,7 +105,6 @@ class PopupsContext {
* @param PopupsGadgetsIntegration $gadgetsIntegration Gadgets integration helper
* @param SpecialPageFactory $specialPageFactory
* @param UserOptionsLookup $userOptionsLookup
* events
*/
public function __construct(
Config $config,
@ -114,12 +113,11 @@ class PopupsContext {
SpecialPageFactory $specialPageFactory,
UserOptionsLookup $userOptionsLookup
) {
$this->config = $config;
$this->extensionRegistry = $extensionRegistry;
$this->gadgetsIntegration = $gadgetsIntegration;
$this->specialPageFactory = $specialPageFactory;
$this->userOptionsLookup = $userOptionsLookup;
$this->config = $config;
}
/**