Merge "Set $_SERVER['SERVER_NAME'] to the value set by --server"
[lhc/web/wiklou.git] / resources / lib / oojs-ui / themes / wikimediaui / icons-location.json
index 58feb23..0a14b8d 100644 (file)
@@ -11,9 +11,6 @@
                        "color": "#36c",
                        "global": true
                },
-               "constructive": {
-                       "color": "#36c"
-               },
                "destructive": {
                        "color": "#d33"
                },
                "mapTrail": { "file": {
                        "ltr": "images/icons/mapTrail-ltr.svg",
                        "rtl": "images/icons/mapTrail-rtl.svg"
-               } },
-               "wikitrail": { "file": {
-                       "ltr": "images/icons/mapTrail-ltr.svg",
-                       "rtl": "images/icons/mapTrail-rtl.svg"
-               }, "deprecated": "Renamed to 'mapTrail' since v0.20.1."
-               }
+               } }
        }
 }