diff options
author | Pierre Schmitz <pierre@archlinux.de> | 2015-12-17 09:15:42 +0100 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2015-12-17 09:44:51 +0100 |
commit | a1789ddde42033f1b05cc4929491214ee6e79383 (patch) | |
tree | 63615735c4ddffaaabf2428946bb26f90899f7bf /vendor/wikimedia/cdb/src/Reader.php | |
parent | 9e06a62f265e3a2aaabecc598d4bc617e06fa32d (diff) |
Update to MediaWiki 1.26.0
Diffstat (limited to 'vendor/wikimedia/cdb/src/Reader.php')
-rw-r--r-- | vendor/wikimedia/cdb/src/Reader.php | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/vendor/wikimedia/cdb/src/Reader.php b/vendor/wikimedia/cdb/src/Reader.php index 2df06ab3..b1aaa022 100644 --- a/vendor/wikimedia/cdb/src/Reader.php +++ b/vendor/wikimedia/cdb/src/Reader.php @@ -82,4 +82,21 @@ abstract class Reader { * @param string $key */ abstract public function get( $key ); + + /** + * Check whether key exists + * + * @param string $key + */ + abstract public function exists( $key ); + + /** + * Fetch first key + */ + abstract public function firstkey(); + + /** + * Fetch next key + */ + abstract public function nextkey(); } |