Fix 'duplicate declaration' in php::extension().
Merge pull request #34 from jonhattan/fix_php_extensions_duplicate_resource

Fix 'duplicate declaration' in php::extension().