diff --git a/setup/plugins/init/DefaultExtensions.civi-setup.php b/setup/plugins/init/DefaultExtensions.civi-setup.php
index fe7d6518f8f2..7df45363895c 100644
--- a/setup/plugins/init/DefaultExtensions.civi-setup.php
+++ b/setup/plugins/init/DefaultExtensions.civi-setup.php
@@ -22,5 +22,8 @@
     $e->getModel()->extensions[] = 'authx';
     $e->getModel()->extensions[] = 'civiimport';
     $e->getModel()->extensions[] = 'message_admin';
+    $e->getModel()->extensions[] = 'riverlea';
 
+    $e->getModel()->settings['theme_backend'] = 'minetta';
+    $e->getModel()->settings['theme_frontend'] = 'minetta';
   });