From 085c38d45e466691062b4444c71f4dbe4198f884 Mon Sep 17 00:00:00 2001
From: cmp <me@porterca.com>
Date: Sat, 13 Nov 2021 04:00:05 -0600
Subject: [PATCH] PHP 8.1: Update integer docs for new octal notation

Closes GH-1091.
---
 language/types/integer.xml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/language/types/integer.xml b/language/types/integer.xml
index b173670576..6964ba5edd 100644
--- a/language/types/integer.xml
+++ b/language/types/integer.xml
@@ -42,6 +42,7 @@
 
   <para>
    To use octal notation, precede the number with a <literal>0</literal> (zero).
+   As of PHP 8.1.0, octal notation can also be preceded with <literal>0o</literal> or <literal>0O</literal>.
    To use hexadecimal notation precede the number with <literal>0x</literal>.
    To use binary notation precede the number with <literal>0b</literal>.
   </para>
@@ -58,6 +59,7 @@
 <?php
 $a = 1234; // decimal number
 $a = 0123; // octal number (equivalent to 83 decimal)
+$a = 0o123; // octal number (as of PHP 8.1.0)
 $a = 0x1A; // hexadecimal number (equivalent to 26 decimal)
 $a = 0b11111111; // binary number (equivalent to 255 decimal)
 $a = 1_234_567; // decimal number (as of PHP 7.4.0)
@@ -79,7 +81,7 @@ decimal     : [1-9][0-9]*(_[0-9]+)*
 
 hexadecimal : 0[xX][0-9a-fA-F]+(_[0-9a-fA-F]+)*
 
-octal       : 0[0-7]+(_[0-7]+)*
+octal       : 0[oO]?[0-7]+(_[0-7]+)*
 
 binary      : 0[bB][01]+(_[01]+)*