Update to MediaWiki 1.26.0

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();
 }