archive/net.sourceforge.phpeclipse.wiki/src/net/sourceforge/phpeclipse/wiki/actions/mediawiki/DownloadPlog4UORGAction.java

   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
   4 //
   5 //The modified sources are available under the "Common Public License"
   6 //with permission from the original author: Daniel Wunsch
   7
   8 import net.sourceforge.phpeclipse.wiki.editor.WikiEditorPlugin;
   9 import net.sourceforge.phpeclipse.wiki.internal.Configuration;
  10
  11 public final class DownloadPlog4UORGAction extends DownloadWikipediaAction {
  12   protected Configuration getConfiguration(){
  13     return RefreshPlog4UORGFilesAction.getPlog4UConfiguration(super
  14         .getConfigurationPrefix(WikiEditorPlugin.PLOG4U_ORG_LOAD));
  15   }
  16 }