diff -r 07239de796bb -r e756a8c72c3d cms/drupal/modules/overlay/overlay.install
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/cms/drupal/modules/overlay/overlay.install	Fri Sep 08 12:04:06 2017 +0200
@@ -0,0 +1,19 @@
+<?php
+
+/**
+ * @file
+ * Install, update, and uninstall functions for the Overlay module.
+ */
+
+/**
+ * Implements hook_enable().
+ *
+ * If the module is being enabled through the admin UI, and not from an
+ * installation profile, reopen the modules page in an overlay.
+ */
+function overlay_enable() {
+  if (strpos(current_path(), 'admin/modules') === 0) {
+    // Flag for a redirect to <front>#overlay=admin/modules on hook_init().
+    $_SESSION['overlay_enable_redirect'] = 1;
+  }
+}