Code Editor : php.extensions.conflicts