MediaWiki master
MediaHandlerState.php
Go to the documentation of this file.
1<?php
2
10interface MediaHandlerState {
17 public function getHandlerState( string $key );
18
25 public function setHandlerState( string $key, $value );
26}
MediaHandlerState
An interface to support process-local caching of handler data associated with a given file.
Definition MediaHandlerState.php:10
MediaHandlerState\getHandlerState
getHandlerState(string $key)
Get a value, or null if it does not exist.
MediaHandlerState\setHandlerState
setHandlerState(string $key, $value)
Set a value.