gravitystorm/openstreetmap-carto — pull request #375 by mrwojo (2014-03-02 20:28:42+00:00)
Title: Add highway=pedestrian area label

See #355. The styling is copied from highway=pedestrian line label, adjusted for polygons. Note that there are practically no highway=pedestrian nodes (77 instances). JOSM's stylesheet/validator rejects those.

(Also cleans up a confusing comment that I wrote previously.)