After testing PHP versions from 4.4 to 7.2 on Windows, I found that the Counter extension is actually not supported by PHP.
1. The COUNTER_* constants and the counter_* functions are not defined.
2. The Counter class can not be found.
3. The Counter extension can not be found on the PECL site.