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

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

Browse source
This commit is contained in:
jenkins-bot 2022-05-11 03:21:17 +00:00 committed by Gerrit Code Review
parent 2fcfe7f8bc 03ea5adb03
commit 723053f98a
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": null,
"popupsreferencepreviews": 0,
"popups-reference-previews": 0
},
"manifest_version": 2