mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor
synced 2024-12-13 09:01:42 +00:00
9b7ec7ec48
This change requires a soft dependency on extension MobileFrontend in project integration/config in file zuul/parameter_functions.py. Depends-On: Idd55fb06cb166c00817f53287ab17984cae6a7a4 Change-Id: Ia0f6dc59cfac3d201c19bc4a62a5df9590c1ed37 |
||
---|---|---|
.. | ||
config.php |