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

Merge "Use null for default user options value of beta features"

Browse source
This commit is contained in:
jenkins-bot 2022-04-08 11:48:03 +00:00 committed by Gerrit Code Review
parent 7bff8680cf addb8a02d7
commit 2eac3b36c0
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
extension.json
View file

@ -238,7 +238,7 @@
"includes/ServiceWiring.php"
],
"DefaultUserOptions": {
"popupsreferencepreviews": 0,
"popupsreferencepreviews": null,
"popups-reference-previews": 0
},
"manifest_version": 2