From 8e8bed3a4d538b63aebbde083d17e75cc5be131f Mon Sep 17 00:00:00 2001
From: "Christoph M. Becker" <cmbecker69@gmx.de>
Date: Tue, 3 Jan 2023 12:01:38 +0100
Subject: [PATCH] Add fallback redirects for recently renamed classes

Cf. <https://github.com/php/doc-en/pull/2126>
---
 error.php | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/error.php b/error.php
index f477c1b8d..6cde4e7ef 100644
--- a/error.php
+++ b/error.php
@@ -291,6 +291,9 @@ $manual_redirections = [
     'oci-collection.max' => 'ocicollection.max',
     'oci-collection.size' => 'ocicollection.size',
     'oci-collection.trim' => 'ocicollection.trim',
+    'class.allow-dynamic-properties.php' => 'class.allowdynamicproperties.php',
+    'class.return-type-will-change.php' => 'class.returntypewillchange.php',
+    'class.sensitive-parameter.php' => 'class.sensitiveparameter.php',
     'function.curl-file-create' => 'curlfile.construct',
 ];