1 package net.sourceforge.phpeclipse.wiki.actions.mediawiki;
2 //Parts of this sources are copied and modified from the jEdit Wikipedia plugin:
3 //http://www.djini.de/software/wikipedia/index.html
5 //The modified sources are available under the "Common Public License"
6 //with permission from the original author: Daniel Wunsch
8 import net.sourceforge.phpeclipse.wiki.editor.WikiEditorPlugin;
9 import net.sourceforge.phpeclipse.wiki.internal.Configuration;
11 public final class DownloadPlog4UDEAction extends DownloadWikipediaAction {
12 protected Configuration getConfiguration(){
13 return RefreshPlog4UDEFilesAction.getPlog4UConfiguration(super
14 .getConfigurationPrefix(WikiEditorPlugin.PLOG4U_DE_LOAD));