Manual:JsonSerializer.php

Interface for serializing things to JSON.