package net.sourceforge.phpeclipse.wiki.actions.mediawiki;
//Parts of this sources are copied and modified from the jEdit Wikipedia plugin:
//http://www.djini.de/software/wikipedia/index.html
//
//The modified sources are available under the "Common Public License"
//with permission from the original author: Daniel Wunsch

import net.sourceforge.phpeclipse.wiki.editor.WikiEditorPlugin;
import net.sourceforge.phpeclipse.wiki.internal.Configuration;

public final class DownloadPlog4UDEAction extends DownloadWikipediaAction {
  protected Configuration getConfiguration(){
    return RefreshPlog4UDEFilesAction.getPlog4UConfiguration(super
        .getConfigurationPrefix(WikiEditorPlugin.PLOG4U_DE_LOAD));
  }
}