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