Normalize style in makeprop.pl's output to aid replacing it
<rdar://problem/102015817>
Pull request: https://github.com/WebKit/WebKit/pull/6189
Committed 256379@main (4718faa509f3): <https://commits.webkit.org/256379@main> Reviewed commits have been landed. Closing PR #6189 and removing active labels.