From fe359b3a95e6b78286c1c0d7a1d78eea2ce9e6f8 Mon Sep 17 00:00:00 2001
From: Derick Rethans <github@derickrethans.nl>
Date: Tue, 25 Jul 2023 18:59:23 +0100
Subject: [PATCH] Add (beginnings) of PHP 8.3 migration

---
 manual.xml.in | 1 +
 1 file changed, 1 insertion(+)

diff --git a/manual.xml.in b/manual.xml.in
index a711139ddc..346ebd1302 100644
--- a/manual.xml.in
+++ b/manual.xml.in
@@ -435,6 +435,7 @@
  <book xml:id="appendices">
   <title>&Appendices;</title>
   &appendices.history;
+  &appendices.migration83;
   &appendices.migration82;
   &appendices.migration81;
   &appendices.migration80;