No check to duplicate zend_extension (can raise segfault)

 [2015-12-11 11:52 UTC] remi@php.net

Description:
------------
You can load twice the same zend_extension...

Which can create very strange bug
(including segfault in zend_interned_strings_dtor)


Test script:
---------------
$ php -n -d zend_extension=opcache.so -d zend_extension=opcache.so -m

Expected result:
----------------
PHP Warning:  Module 'opcache' already loaded in Unknown on line 0

(like for standard extension)



Actual result:
--------------
...
[Zend Modules]
Zend OPcache
Zend OPcache