Rename a property key in all features of a GeoJSON FeatureCollection.

If a feature doesn't have the old key, it's silently skipped.

Arguments

• input — GeoJSON string.
• old_key — Current property key name.
• new_key — New property key name.

Returns

Modified GeoJSON string with the property renamed.