Merge "Update documentation in DefaultSettings to reflect new Preprocessor default"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 20 Jun 2019 22:39:16 +0000 (22:39 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 20 Jun 2019 22:39:16 +0000 (22:39 +0000)
includes/DefaultSettings.php

index c5a2f77..2075432 100644 (file)
@@ -4142,8 +4142,7 @@ $wgInvalidRedirectTargets = [ 'Filepath', 'Mypage', 'Mytalk', 'Redirect' ];
  *                    temporary storage. Preprocessor_DOM generally uses less memory;
  *                    the speed of the two is roughly the same.
  *
- *                    If this parameter is not given, it uses Preprocessor_DOM if the
- *                    DOM module is available, otherwise it uses Preprocessor_Hash.
+ *                    If this parameter is not given, it uses Preprocessor_Hash.
  *
  * The Preprocessor_DOM class is deprecated, and will be removed in a future
  * release.