gravitystorm/openstreetmap-carto — pull request #884 by math1985 (2014-08-15 19:16:03+00:00)
Title: Readd highway platform

Re-add highway=platform, and changes ordering of railway=platform versus paths.
This solves #871.

This assumes #866 is merged first.