Serve the pages of the moved extensions from /manual/extensions/

include/manual-lookup.inc

@@ -89,6 +89,13 @@ function find_manual_page_slow($lang, $keyword)
         }
     }
 
+    // Fall back to the third-party extensions manual (English only) for the
+    // pages that moved to php/doc-extensions
+    foreach ($sections as $section) {
+        $found = tryprefix("extensions", $keyword, $section);
+        if ($found) { return $found; }
+    }
+
     // BC: Few references pages where moved to book.
     if (strpos($keyword, "ref.") === 0) {
         $kw = substr_replace($keyword, "book.", 0, 4);

include/shared-manual.inc

@@ -282,7 +282,10 @@ function manual_setup($setup): void {
     }
     $PGI = $setup;
     // Set base href for this manual page
-    $base = 'manual/' . (new Languages())->convert($setup['head'][1]) . "/";
+    // The third-party extensions manual (php/doc-extensions) is English only
+    // and served from manual/extensions/, which is not a language.
+    $isExtensionsManual = $setup['head'][1] === 'extensions';
+    $base = 'manual/' . ($isExtensionsManual ? 'extensions' : (new Languages())->convert($setup['head'][1])) . "/";
     $_SERVER['BASE_PAGE'] = $base . $setup['this'][0];
     $_SERVER['BASE_HREF'] = $MYSITE . $_SERVER['BASE_PAGE'];
 
@@ -314,7 +317,7 @@ function manual_setup($setup): void {
     $config = [
         "current" => "docs",
         "breadcrumbs" => $breadcrumbs,
-        "languages" => array_keys(Languages::ACTIVE_ONLINE_LANGUAGES),
+        "languages" => $isExtensionsManual ? [] : array_keys(Languages::ACTIVE_ONLINE_LANGUAGES),
         "meta-navigation" => [
             "contents" => $base . $setup["home"][0],
             "index" => $base . $setup["up"][0],
@@ -331,6 +334,10 @@ function manual_setup($setup): void {
     ];
     site_header($setup["this"][1] . " - Manual", $config);
 
+    if ($isExtensionsManual) {
+        return;
+    }
+
     $languageChooser = manual_language_chooser($config['lang'], $config['thispage']);
 
     echo <<<PAGE_TOOLS

phpstan-baseline.neon

@@ -1713,7 +1713,7 @@ parameters:
 		-
 			message: '#^Variable \$LANG might not be defined\.$#'
 			identifier: variable.undefined
-			count: 8
+			count: 6
 			path: public/error.php
 
 		-

playwright.config.ts

@@ -1,5 +1,12 @@
 import {defineConfig, devices} from '@playwright/test';
 
+/**
+ * The tests of the move of the extensions to the extensions manual need the
+ * manuals built by tests/extensions-migration.sh, so they only exist when
+ * EXTENSIONS_MIGRATION=1 (that script sets it).
+ */
+const extensionsMigration = process.env.EXTENSIONS_MIGRATION === '1';
+
 /**
  * See https://playwright.dev/docs/test-configuration.
  */
@@ -34,6 +41,30 @@ export default defineConfig({
             name: 'End-to-End Chromium',
             use: {...devices['Desktop Chrome']},
             testDir: './tests/EndToEnd',
+            testIgnore: '**/ExtensionsMigration/**',
         },
+        ...(extensionsMigration
+            ? [
+                {
+                    name: 'Extensions migration (API)',
+                    testDir: './tests/EndToEnd/ExtensionsMigration',
+                    testMatch: '*.api.spec.ts',
+                    timeout: 120_000,
+                    use: {baseURL: process.env.HTTP_HOST ?? 'http://localhost:8080'},
+                },
+                {
+                    name: 'Extensions migration (Chromium)',
+                    testDir: './tests/EndToEnd/ExtensionsMigration',
+                    testMatch: '*.browser.spec.ts',
+                    timeout: 30_000,
+                    expect: {timeout: 10_000},
+                    use: {
+                        ...devices['Desktop Chrome'],
+                        baseURL: process.env.HTTP_HOST ?? 'http://localhost:8080',
+                        actionTimeout: 10_000,
+                    },
+                },
+            ]
+            : []),
     ],
 });