[PHP-WEBMASTER] Re: Enabling GitHub Issues for all php/web-* repos

2021-12-08 Thread Peter Cowburn
On Mon, 22 Nov 2021 at 21:27, Christoph M. Becker wrote: > On 22.11.2021 at 22:08, Peter Cowburn wrote: > > > There is an ongoing RFC and discussion around enabling GitHub Issues for > > php-src and essentially turning off bugs.php.net for new tickets. > [1,2,3] > > > > There are a bunch of php/w

[PHP-WEBMASTER] Re: Enabling GitHub Issues for all php/web-* repos

2021-12-08 Thread Christoph M. Becker
On 08.12.2021 at 12:15, Peter Cowburn wrote: > On Mon, 22 Nov 2021 at 21:27, Christoph M. Becker wrote: > >> On 22.11.2021 at 22:08, Peter Cowburn wrote: >> >>> There is an ongoing RFC and discussion around enabling GitHub Issues for >>> php-src and essentially turning off bugs.php.net for new ti

[PHP-WEBMASTER] [web-php] PR #478: Improve local font-names

2021-12-08 Thread noreply
Pull Request: https://github.com/php/web-php/pull/478 Author: hakre In 2ceaff53 (Improve fonts support, 2021-11-26) local font names were added but it was still missing a closer review on the previous local /fonts/ prefixed font names which were retained while annotated to be potentially wrong. [#

[PHP-WEBMASTER] [web-php] master: Improve local font-names (#478)

2021-12-08 Thread hakre via GitHub
Author: hakre (hakre) Committer: GitHub (web-flow) Pusher: saundefined Date: 2021-12-09T10:10:37+03:00 Commit: https://github.com/php/web-php/commit/177ef1af4903cfe22c63b0e859d640376263ddfb Raw diff: https://github.com/php/web-php/commit/177ef1af4903cfe22c63b0e859d640376263ddfb.diff Improve loc

[PHP-WEBMASTER] [web-php] PR #478: Improve local font-names

2021-12-08 Thread noreply
Pull Request: https://github.com/php/web-php/pull/478 Closed by saundefined. -- PHP Webmaster List Mailing List (http://www.php.net/) To unsubscribe, visit: http://www.php.net/unsub.php