46 pluginRepositoryFileFormatVersion) |
46 pluginRepositoryFileFormatVersion) |
47 if self.version not in self.supportedVersions: |
47 if self.version not in self.supportedVersions: |
48 self.raiseUnsupportedFormatVersion(self.version) |
48 self.raiseUnsupportedFormatVersion(self.version) |
49 elif self.name() == "RepositoryUrl": |
49 elif self.name() == "RepositoryUrl": |
50 url = self.readElementText() |
50 url = self.readElementText() |
51 Preferences.setUI("PluginRepositoryUrl6", url) |
51 Preferences.setUI("PluginRepositoryUrl7", url) |
52 elif self.name() == "Plugin": |
52 elif self.name() == "Plugin": |
53 self.__readPlugin() |
53 self.__readPlugin() |
54 else: |
54 else: |
55 self._skipUnknownElement() |
55 self._skipUnknownElement() |
56 |
56 |