Mariadb text to json July 8, 2019 16 32 64 128 Mariadb convert text to json Mariadb cast text to json Mariadb text vs json