From 0fbf23a77be9859a587af2900b863aa5fdc5c788 Mon Sep 17 00:00:00 2001
From: Olly Betts <olly@survex.com>
Date: Sun, 16 Jan 2022 12:35:41 +1300
Subject: Fix PHP docs formatting issue

---
 Doc/Manual/Php.html | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/Doc/Manual/Php.html b/Doc/Manual/Php.html
index 8f8ab39c4..813368ec3 100644
--- a/Doc/Manual/Php.html
+++ b/Doc/Manual/Php.html
@@ -746,7 +746,10 @@ class Ko {
 };
 </pre></div>
 
-would be executed in PHP as,
+<p>
+would be executed in PHP as
+</p>
+
 <div class="code"><pre>
 Ko::threats();
 </pre></div>
-- 
cgit v1.2.1