Merge commit '42613618a'

# Conflicts:
#	phpstan.neon.dist
#	resources/vanilla

phpstan.neon.dist

@@ -37,6 +37,7 @@ parameters:
 	stubFiles:
 		- tests/phpstan/stubs/JsonMapper.stub
 		- tests/phpstan/stubs/pthreads.stub
+		- tests/phpstan/stubs/leveldb.stub
 	reportUnmatchedIgnoredErrors: false #no other way to silence platform-specific non-warnings
 	staticReflectionClassNamePatterns:
 		- "#^COM$#"

tests/phpstan/stubs/leveldb.stub

@@ -0,0 +1,11 @@
+<?php
+
+class LevelDB{
+	/**
+	 * @param string $key
+	 * @param array<string, mixed> $read_options
+	 *
+	 * @return string|false
+	 */
+	public function get($key, array $read_options = []){}
+}