[JsonCodec] Use wikimedia/json-codec to implement JsonCodec
[mediawiki.git] / includes / import / 
treeb45ea73eaddf43d61549d9ef66de91601b47473d
drwxr-xr-x   ..
drwxr-xr-x - Hook
-rw-r--r-- 1862 ImportSource.php
-rw-r--r-- 5950 ImportStreamSource.php
-rw-r--r-- 1886 ImportStringSource.php
-rw-r--r-- 1375 ImportableOldRevision.php
-rw-r--r-- 7348 ImportableOldRevisionImporter.php
-rw-r--r-- 1349 ImportableUploadRevision.php
-rw-r--r-- 4556 ImportableUploadRevisionImporter.php
-rw-r--r-- 248 OldRevisionImporter.php
-rw-r--r-- 373 UploadRevisionImporter.php
-rw-r--r-- 3969 UploadSourceAdapter.php
-rw-r--r-- 38792 WikiImporter.php
-rw-r--r-- 3408 WikiImporterFactory.php
-rw-r--r-- 13396 WikiRevision.php