Pull Request: https://github.com/php/web-php/pull/618 Author: kamil-tekiela
We stopped adding the prefix in July 2019, but the links are still pointing to anchors with the prefix. -- PHP Webmaster List Mailing List (http://www.php.net/) To unsubscribe, visit: http://www.php.net/unsub.php
