Jump to content

Manual:JsonSerializer.php

From mediawiki.org

Interface for serializing things to JSON.