} else {
configuration = null;
}
- }
+ }
if (configuration == null) {
// fall back, if user deleted configuration:
configuration = new ConfigurationWorkingCopy();
- configuration.setURL("http://en.wikipedia.org/w/wiki.phtml?title=$text.wikiname&action=raw");
+ configuration.setURL("http://en.wikipedia.org/wiki/Special:Export");
}
return configuration;
}