Merge ".mailmap: Correct two contributor names"master
[mediawiki.git] / includes / json / 
tree73e325298c59c589127fb50300e2f53ab105653d
drwxr-xr-x   ..
-rw-r--r-- 10474 FormatJson.php
-rw-r--r-- 11313 JsonCodec.php
-rw-r--r-- 1226 JsonConstants.php
-rw-r--r-- 1836 JsonDeserializable.php
-rw-r--r-- 1776 JsonDeserializableCodec.php
-rw-r--r-- 1602 JsonDeserializableTrait.php
-rw-r--r-- 2384 JsonDeserializer.php
-rw-r--r-- 1760 JsonSerializableCodec.php
-rw-r--r-- 1439 JsonSerializer.php