MediaWiki
1.23.8
json Directory Reference
Files
file
FormatJson.php
[code]
Wrapper for json_encode and json_decode.
includes
json
Generated on Fri Dec 13 2019 20:52:52 for MediaWiki by
1.8.16