diff --git a/core/imageboard/image.php b/core/imageboard/image.php index d1286a99..6ae686ed 100644 --- a/core/imageboard/image.php +++ b/core/imageboard/image.php @@ -22,7 +22,7 @@ class Image private string $ext; private string $mime; - /** @var string[]|null */ + /** @var ?string[] */ public ?array $tag_array; public int $owner_id; public string $owner_ip; diff --git a/ext/media/main.php b/ext/media/main.php index 2ef88c17..9090095f 100644 --- a/ext/media/main.php +++ b/ext/media/main.php @@ -631,7 +631,7 @@ class Media extends Extension * @param int $new_width * @param int $new_height * @param string $output_filename - * @param string|null $output_mime If set to null, the output file type will be automatically determined via the $info parameter. Otherwise an exception will be thrown. + * @param ?string $output_mime If set to null, the output file type will be automatically determined via the $info parameter. Otherwise an exception will be thrown. * @param int $output_quality Defaults to 80. * @throws MediaException * @throws InsufficientMemoryException if the estimated memory usage exceeds the memory limit. @@ -642,7 +642,7 @@ class Media extends Extension int $new_width, int $new_height, string $output_filename, - string $output_mime = null, + ?string $output_mime = null, string $alpha_color = Media::DEFAULT_ALPHA_CONVERSION_COLOR, string $resize_type = self::RESIZE_TYPE_FIT, int $output_quality = 80,