Core: engine/extension.php bug fix related to config.xml of extension and php 5.4