Code Editor : extensions.ini