2019-03-22 UTC
# 
Zegnat Not sure the PHP one will always give the same result either. It probably just uses whatever PHP is calling “pretty” at any time. If that changes, so does the output. (E.g. it may have changed when they switched JSON implementations, which I think they did at some point to get rid of the weird JSON licence.)