[web-php] PR #909: Fix: Explicitly configure `dots` progress reporter
| From: | localheinz | Date: | Sun, 31 Dec 2023 17:31:34 +0000 |
| Subject: | [web-php] PR #909: Fix: Explicitly configure `dots` progress reporter | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-31325@lists.php.net to get a copy of this message | ||
Pull Request: https://github.com/php/web-php/pull/909
Author: localheinz
This pull request
- [x] explicitly configures the
dots progress reporter
Related to #908.
💁♂️ Beginning with friendsofphp/php-cs-fixer:^3.45.0, the bar progress
printer becomes the new default progress printer.