php/php-src — pull request #944 by guilhermeblanco (2014-12-06 04:49:23+00:00)
Title: Fix extension class declaration support for extension developers

Consumes PR #931

Avoids the possibility to have extension developers to create classes that extends traits or interfaces.