mirrors/status.php: convert types (php actually has types, which are exposed if json encoded O.o) - website - Archlinux32 website

diff options

author	Erich Eckner <git@eckner.net>	2018-06-15 13:38:34 +0200
committer	Erich Eckner <git@eckner.net>	2018-06-15 13:38:34 +0200
commit	76eda27b3d87899ea56c17aed2e6e8944892a3c6 (patch)
tree	aa45d31aae5a4ecc085b21d4801e95ab047b4c51 /buildmaster/log.php
parent	e1504b8394f3aa5cad02b1bfe0f9721877c2682b (diff)

mirrors/status.php: convert types (php actually has types, which are exposed if json encoded O.o)

Diffstat (limited to 'buildmaster/log.php')

0 files changed, 0 insertions, 0 deletions