*/
$wgUseMediaWikiUIEverywhere = false;
+/**
+ * Temporary variable that determines whether the EditPage class should use OOjs UI or not.
+ * This will be removed later and OOjs UI will become the only option.
+ *
+ * @since 1.32
+ */
+$wgOOUIPreferences = false;
+
/**
* Whether to label the store-to-database-and-show-to-others button in the editor
* as "Save page"/"Save changes" if false (the default) or, if true, instead as
* - RaggettInternalHHVM: Use the limited-functionality HHVM extension
* - RaggettInternalPHP: Use the PECL extension
* - RaggettExternal: Shell out to an external binary (tidyBin)
- * - Html5Depurate: Use external Depurate service
- * - Html5Internal: Use the Balancer library in PHP
* - RemexHtml: Use the RemexHtml library in PHP
*
* - tidyConfigFile: Path to configuration file for any of the Raggett drivers