Remove superfluous extensions element
Remove superfluous extensions element

cedricziel/idea-php-typo3-plugin,cedricziel/idea-php-typo3-plugin,cedricziel/idea-php-typo3-plugin,cedricziel/idea-php-typo3-plugin