MediaWiki master
|
Decodes settings data from JSON. More...
Inherits MediaWiki\Settings\Source\Format\SettingsFormat.
Public Member Functions | |
__toString () | |
Returns the name/type of this format (JSON). | |
decode (string $data) | |
Decodes JSON. | |
Static Public Member Functions | |
static | supportsFileExtension (string $ext) |
Returns true for the file extension 'json'. | |
Decodes settings data from JSON.
Definition at line 10 of file JsonFormat.php.
MediaWiki\Settings\Source\Format\JsonFormat::__toString | ( | ) |
Returns the name/type of this format (JSON).
Definition at line 54 of file JsonFormat.php.
MediaWiki\Settings\Source\Format\JsonFormat::decode | ( | string | $data | ) |
Decodes JSON.
string | $data | JSON string to decode. |
UnexpectedValueException |
Implements MediaWiki\Settings\Source\Format\SettingsFormat.
Definition at line 20 of file JsonFormat.php.
|
static |
Returns true for the file extension 'json'.
Case insensitive.
string | $ext | File extension. |
Implements MediaWiki\Settings\Source\Format\SettingsFormat.
Definition at line 45 of file JsonFormat.php.