Small fix to playgrounds

This commit is contained in:
Pieter Vander Vennet 2022-03-11 02:40:27 +01:00
parent 0497b10e04
commit aa7e6565db
2 changed files with 7 additions and 9 deletions

View file

@ -297,17 +297,15 @@
] ]
}, },
{ {
"if": { "if": "fee=yes",
"and": [ "then": {
"fee=yes", "en": "This is a <b>paid</b> playground",
"nl": "Er moet <b>betaald</b> worden om deze speeltuin te mogen gebruiken"
},
"addExtraTags": [
"access=customers" "access=customers"
] ]
}, },
"then": {
"en": "This is a <b>paid</p> playground",
"nl": "Er moet <b>betaald</b> worden om deze speeltuin te mogen gebruiken"
}
},
{ {
"if": "access=customers", "if": "access=customers",
"then": { "then": {

View file

@ -3921,7 +3921,7 @@
"then": "Accessible to the general public" "then": "Accessible to the general public"
}, },
"1": { "1": {
"then": "This is a <b>paid</p> playground" "then": "This is a <b>paid</b> playground"
}, },
"2": { "2": {
"then": "Only accessible for clients of the operating business" "then": "Only accessible for clients of the operating business"