Json configs -- when did this happen?

Hey, does anybody know when vanilla minecraft started using JSON for the config files such as banned-ip, banned-players, ops, and whitelist?

I see it mentioned in 1.5.2. I don’t know if it was used before then and it looks like there have been changes through 1.7.10 as well.

William…