only in patch2:
unchanged:
--- a/sites/default/default.settings.php
+++ b/sites/default/default.settings.php
@@ -536,23 +536,23 @@
  *
  * The following overrides are examples:
  * - site_name: Defines the site's name.
- * - theme_default: Defines the default theme for this site.
+ * - $conf['system.theme']['default']: Defines the default theme for this site.
  * - anonymous: Defines the human-readable name of anonymous users.
  * Remove the leading hash signs to enable.
  */
 # $conf['system.site']['name'] = 'My Drupal site';
-# $conf['theme_default'] = 'stark';
+# $conf['system.theme']['default'] = 'stark';
 # $conf['anonymous'] = 'Visitor';
 
 /**
  * A custom theme can be set for the offline page. This applies when the site
  * is explicitly set to maintenance mode through the administration page or when
  * the database is inactive due to an error. It can be set through the
- * 'maintenance_theme' key. The template file should also be copied into the
+ * 'maintenance' key in $conf['system.theme']. The template file should also be copied into the
  * theme. It is located inside 'core/modules/system/maintenance-page.tpl.php'.
  * Note: This setting does not apply to installation and update pages.
  */
-# $conf['maintenance_theme'] = 'bartik';
+# $conf['system.theme']['maintenance'] = 'bartik';
 
 /**
  * CSS/JS aggregated file gzip compression: