Skip to content
Documentation

fix NumberFormatter::TYPE_CURRENCY being deprecated in PHP 8.3 #803

Sign in to view logs

fix NumberFormatter::TYPE_CURRENCY being deprecated in PHP 8.3

fix NumberFormatter::TYPE_CURRENCY being deprecated in PHP 8.3 #803

Re-run triggered October 20, 2023 15:26
@fabpotfabpot
#3894
fix-php83-deprecation
Status Success
Total duration 35s
Artifacts –

documentation.yml

on: pull_request
Build
21s
Build
DOCtor-RST
12s
DOCtor-RST
Fit to window
Zoom out
Zoom in