mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-09-24 02:39:33 +00:00
254cf8360b
All files containing more than one PHP class were split into multiple files. extension.json was updated to match new class locations. Bug: T177809 Change-Id: I4e7d8f02164c3048c41c4c9fbe4be18a99e7abaa
19 lines
494 B
PHP
19 lines
494 B
PHP
<?php
|
|
|
|
/**
|
|
* Interface providing list of contained values and an optional cache key to go along with it.
|
|
*/
|
|
interface EchoContainmentList {
|
|
/**
|
|
* @return array The values contained within this list.
|
|
*/
|
|
public function getValues();
|
|
|
|
/**
|
|
* @return string A string suitable for appending to the cache key prefix to facilitate
|
|
* cache busting when the underlying data changes, or a blank string if
|
|
* not relevant.
|
|
*/
|
|
public function getCacheKey();
|
|
}
|