It looks like you reverted it successfully in https://www.openstreetmap.org/changeset/136326948 :)

I’ve changed the tagging to disused:highway=footway in https://www.openstreetmap.org/changeset/136354219 so I think this is all sorted now. Thanks very much for taking the time to improve the map!

The disused: prefix is documented here if you’re interested as well: https://wiki.openstreetmap.org/wiki/Lifecycle_prefix

Cheers