Merge "LogPager: Add IGNORE INDEX to avoid MariaDB optimizer bug"

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index 1068700..29b628c 100644 (file)
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -9096,6 +9096,9 @@ $wgNativeImageLazyLoading = false;
 
 /**
  * Option to whether serve the main page as the domain root
+ *
+ * @warning EXPERIMENTAL!
+ *
  * @since 1.34
  * @var bool
  */