MediaWiki  1.30.0
json Directory Reference

Files

file  FormatJson.php [code]
 Wrapper for json_encode and json_decode.