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

Use strings rather than integers

Browse source 
Follow up to Iae454e4b4704a0289ca0a2b0794730562fda0dd1

Bug: T364347
Change-Id: I152af4bced8275fd9ae83d056550106e59f34815
This commit is contained in:
Jon Robson 2024-05-29 15:57:41 -07:00
parent b53deb5bf6
commit aed5a78d6a
1 changed files with 7 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
extension.json
View file

@ -208,21 +208,21 @@
"includes/ServiceWiring.php"
],
"DefaultUserOptions": {
"popups": 1,
"popupsreferencepreviews": 0,
"popups-reference-previews": 0
"popups": "1",
"popupsreferencepreviews": "0",
"popups-reference-previews": "0"
},
"ConditionalUserOptions": {
"popups": [
[
1,
"1",
[
"registered-after",
"20170816000000"
]
],
[
0,
"0",
[
"named-user"
]
@ -230,14 +230,14 @@
],
"popups-reference-previews": [
[
1,
"1",
[
"registered-after",
"20170816000000"
]
],
[
0,
"0",
[
"named-user"
]