Update PHP function list to PHP 8.3.

readme.md

@@ -113,7 +113,7 @@ Latest development builds (artifacts in Release configuration for each compiler
 	* [Perl](tools/lang/Perl.pl), up to Perl 5.36. [Screenshots](https://github.com/zufuliu/notepad2/wiki/Screenshots#perl)
 	* [PowerShell](tools/lang/PowerShell.ps1), up to PowerShell 7.2.
 	* [Python](tools/lang/Python.py), up to Python 3.12. [Screenshots](https://github.com/zufuliu/notepad2/wiki/Screenshots#python)
-	* [PHP Script](tools/lang/PHP.php), up to PHP 8.2. [Screenshots](https://github.com/zufuliu/notepad2/wiki/Screenshots#php)
+	* [PHP Script](tools/lang/PHP.php), up to PHP 8.3. [Screenshots](https://github.com/zufuliu/notepad2/wiki/Screenshots#php)
 	* Windows Rescouce Script
 	* [R](tools/lang/R.r), up to R 4.2.
 	* [REBOL](tools/lang/Rebol.r) 3 and [Red](tools/lang/Red.red)

src/EditLexers/stlPHP.c

@@ -292,7 +292,7 @@ static KEYWORDLIST Keywords_PHP = {{
 "is_infinite( is_int( is_integer( is_iterable( is_link( is_long( is_nan( is_null( is_numeric( is_object( "
 "is_readable( is_resource( is_scalar( is_string( is_subclass_of( is_uploaded_file( is_writable( is_writeable( "
 "iterator_apply( iterator_count( iterator_to_array( "
-"join( jsonSerialize( json_decode( json_encode( json_last_error( json_last_error_msg( "
+"join( jsonSerialize( json_decode( json_encode( json_last_error( json_last_error_msg( json_validate( "
 "key( key_exists( kill( krsort( ksort( "
 "lastErrorCode( lastErrorMsg( lastInsertId( lastInsertRowID( lcfirst( lcg_value( lchgrp( lchown( levenshtein( "
 "link( linkinfo( listAbbreviations( listIdentifiers( loadExtension( localeconv( localtime( log( log10( log1p( long2ip( "
@@ -304,7 +304,7 @@ static KEYWORDLIST Keywords_PHP = {{
 "mb_ereg_search_init( mb_ereg_search_pos( mb_ereg_search_regs( mb_ereg_search_setpos( mb_eregi( mb_eregi_replace( "
 "mb_get_info( mb_http_input( mb_http_output( mb_internal_encoding( mb_language( mb_list_encodings( "
 "mb_ord( mb_output_handler( mb_parse_str( mb_preferred_mime_name( mb_regex_encoding( mb_regex_set_options( mb_send_mail( "
-"mb_split( mb_str_split( mb_strcut( mb_strimwidth( mb_stripos( mb_stristr( mb_strlen( mb_strpos( "
+"mb_split( mb_str_pad( mb_str_split( mb_strcut( mb_strimwidth( mb_stripos( mb_stristr( mb_strlen( mb_strpos( "
 "mb_strrchr( mb_strrichr( mb_strripos( mb_strrpos( mb_strstr( mb_strtolower( mb_strtoupper( mb_strwidth( "
 "mb_substitute_character( mb_substr( mb_substr_count( md5( md5_file( "
 "memory_get_peak_usage( memory_get_usage( memory_reset_peak_usage( metaphone( method_exists( microtime( min( "

tools/lang/PHP.php

@@ -1,5 +1,5 @@
 <?php
-// 8.2 https://www.php.net/
+// 8.3 https://www.php.net/
 // https://wiki.php.net/rfc
 // https://php.watch/versions
 
@@ -1315,6 +1315,7 @@ class Directory {
 mb_regex_set_options(?string $options = null): string
 mb_send_mail(string $to, string $subject, string $message, array|string $additional_headers = [], ?string $additional_params = null): bool
 mb_split(string $pattern, string $string, int $limit = -1): array|false
+mb_str_pad(string $string, int $length, string $pad_string = " ", int $pad_type = STR_PAD_RIGHT, ?string $encoding = null): string
 mb_str_split(string $string, int $length = 1, ?string $encoding = null): array
 mb_strcut(string $string, int $start, ?int $length = null, ?string $encoding = null): string
 mb_strimwidth(string $string, int $start, int $width, string $trim_marker = "", ?string $encoding = null): string
@@ -1565,6 +1566,7 @@ interface JsonSerializable {
 json_encode(mixed $value, int $flags = 0, int $depth = 512): string|false
 json_last_error_msg(): string
 json_last_error(): int
+json_validate(string $json, int $depth = 512, int $flags = 0): bool
 }
 
 { // Miscellaneous Functions