archive/net.sourceforge.phpeclipse.wiki/src/net/sourceforge/phpeclipse/wiki/actions/mediawiki/config/WikipediaDE.java

   1 package net.sourceforge.phpeclipse.wiki.actions.mediawiki.config;
   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
   9 public class WikipediaDE extends AbstractWikipedia {
  10
  11   final private static String[] nameSpaces = new String[] { "Media", "Spezial", "", "Diskussion", "Benutzer",
  12       "Benutzer Diskussion", "Wikipedia", "Wikipedia Diskussion", "Bild", "Bild Diskussion", "MediaWiki", "MediaWiki Diskussion",
  13       "Vorlage", "Vorlage Diskussion", "Hilfe", "Hilfe Diskussion", "Kategorie", "Kategorie Diskussion" };
  14
  15   private static WikipediaDE instance = new WikipediaDE();
  16
  17   /*
  18    * Get the singleton instance
  19    */
  20   public static IWikipedia getInstance() {
  21     return instance;
  22   }
  23
  24   // private constructor
  25   private WikipediaDE() {
  26     super(new WikiProperties("DE"));
  27   }
  28
  29   /**
  30    * @return Returns the nameSpaces.
  31    */
  32   public String[] getNameSpaces() {
  33     return nameSpaces;
  34   }
  35
  36 }