mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups
synced 2024-11-27 17:00:37 +00:00
c973491965
$gadgetsIntegration can never be null. This is ensured by the PHP type check. Change-Id: Ia70e8b8b329ba771dcb8a98d4a78220c2f0f5fbf |
||
---|---|---|
.. | ||
PopupsContextTest.php | ||
PopupsContextTestWrapper.php | ||
PopupsGadgetsIntegrationTest.php | ||
PopupsHooksTest.php |