mirror of
https://github.com/php/php-src.git
synced 2026-04-13 11:02:55 +02:00
* 'decimal places' becomes 'precision' * 'printf format' becomes 'format' * 'record offset' becomes 'offset' BTW No docs have been committed for this function yet, nor is it part of any release. This change should affect no users.