From 064df002df0b4a6f52f21eb0ebe78a926021dc28 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Stephan=20B=C3=B6sch-Plepelits?= <skunk@xover.mud.at> Date: Tue, 18 Oct 2022 18:15:06 +0200 Subject: [PATCH] culture-media: add filters for place_of_worship and theatre forgot in f76180171207ac848ef25122276125c168605a8a --- culture-media.yaml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/culture-media.yaml b/culture-media.yaml index 3bd7348..6f80c0c 100644 --- a/culture-media.yaml +++ b/culture-media.yaml @@ -77,6 +77,8 @@ filter: <option value='historic-other' query='nwr[historic][historic!~"^(memorial|monument|wayside_cross|wayside_shrine|building)$"]'>{{ keyTrans('historic') }} {{ trans('other') }}</option> <option value='fountain' query='nwr[amenity=fountain]'>{{ tagTrans('amenity', 'fountain') }}</option> <option value='arts_centre' query='nwr[amenity=arts_centre]'>{{ tagTrans('amenity', 'arts_centre') }}</option> + <option value='place_of_worship' query='nwr[amenity=place_of_worship]'>{{ tagTrans('amenity', 'place_of_worship') }}</option> + <option value='theatre' query='nwr[amenity=theatre]'>{{ tagTrans('amenity', 'theatre') }}</option> <option value='heritage' query='nwr[heritage]'>{{ keyTrans('heritage') }}</option> op: "has" info: |