Benchmark script for settings loading.

Change-Id: I323a3469c574b55ad78abb35863f30b1007f3135

1 files changed, 21 insertions, 0 deletions

diff --git a/includes/Settings/Config/NullIniSink.php b/includes/Settings/Config/NullIniSink.php
new file mode 100644
index 000000000000..998f4b674a57
--- /dev/null
+++ b/includes/Settings/Config/NullIniSink.php
@@ -0,0 +1,21 @@
+<?php
+
+namespace MediaWiki\Settings\Config;
+
+/**
+ * Null implementation of PhpIniSink, useful for testing and benchmarking.
+ *
+ * @unstable
+ */
+class NullIniSink extends PhpIniSink {
+
+	/**
+	 * @param string $option
+	 * @param string $value
+	 * @return void
+	 */
+	public function set( string $option, string $value ): void {
+		// noop
+	}
+
+}