Jump to content

Manual:JsonUnserializable.php

From mediawiki.org

Interface for supporting round-trip JSON serialization/unserialization using the JsonSerializer utility. Extends JsonSerializable.