move formatting from JS to PHP
authorMichael Wallner <mike@php.net>
Thu, 27 Jan 2022 15:01:02 +0000 (16:01 +0100)
committerMichael Wallner <mike@php.net>
Thu, 27 Jan 2022 15:01:02 +0000 (16:01 +0100)

No differences found