From 4d186d1e1a446d48b57d4efdaca9f66273eedaf0 Mon Sep 17 00:00:00 2001 From: "J. B. Lopez" Date: Sun, 11 May 2025 09:57:00 -0700 Subject: [PATCH] Add ext/operator documentation --- manual.xml | 1 + 1 file changed, 1 insertion(+) diff --git a/manual.xml b/manual.xml index 0678298e2..c99566d5f 100644 --- a/manual.xml +++ b/manual.xml @@ -132,6 +132,7 @@ &reference.errorfunc.book; &reference.ffi.book; &reference.opcache.book; + &reference.operator.book; &reference.outcontrol.book; &reference.info.book; &reference.phpdbg.book;