1. 2020-06-25 Re: [PHP-DEV] [VOTE] Remove inappropriate inheritance php-inter Nikita Popov 2. 2020-06-19 Re: [PHP-DEV] [VOTE] Remove inappropriate inheritance php-inter Pedro_Magalhães 3. 2020-06-19 Re: [PHP-DEV] [VOTE] Remove inappropriate inheritance php-inter Alexandru_Pătrăn 4. 2020-06-19 Re: [PHP-DEV] [VOTE] Remove inappropriate inheritance php-inter Nikita Popov 5. 2020-06-16 Re: [PHP-DEV] [VOTE] Remove inappropriate inheritance php-inter Pedro_Magalhães 6. 2020-06-16 Re: [PHP-DEV] [VOTE] Remove inappropriate inheritance php-inter Marco Pivetta 7. 2020-06-16 Re: [PHP-DEV] [VOTE] Remove inappropriate inheritance php-inter Nikita Popov 8. 2020-06-15 [PHP-DEV] [VOTE] Remove inappropriate inheritance sig php-inter Pedro_Magalhães