summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorOlly Betts <olly@survex.com>2022-01-16 12:35:41 +1300
committerOlly Betts <olly@survex.com>2022-01-16 12:36:05 +1300
commit0fbf23a77be9859a587af2900b863aa5fdc5c788 (patch)
tree781216cf7981b621e3d46f7a810914a289d6c87f
parent2272d00c1a60ea6f3710e4d9dc17746b9df69780 (diff)
downloadswig-0fbf23a77be9859a587af2900b863aa5fdc5c788.tar.gz
Fix PHP docs formatting issue
-rw-r--r--Doc/Manual/Php.html5
1 files changed, 4 insertions, 1 deletions
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>