Where are the php.ini-development files located???

Question

PHP

The tutorial says to rename php.ini-development to php.ini. But where is this file. On the path etc/php7.2/cli/php.ini I found only the ini file

Answer 1

They were, maybe still are, in the php archives for Windows. They don't exist on linux.