archive/net.sourceforge.phpeclipse.wiki/src/net/sourceforge/phpeclipse/wiki/actions/mediawiki/config/WikibooksDE.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 WikibooksDE extends AbstractWikipedia {
  10
  11   final private static String[] nameSpaces      = new String[] {
  12         "Media",
  13         "Spezial",
  14         "",
  15         "Diskussion",
  16         "Benutzer",
  17         "Benutzer Diskussion",
  18         "Wikibooks",
  19         "Wikibooks Diskussion",
  20         "Bild",
  21         "Bild Diskussion",
  22         "MediaWiki",
  23         "MediaWiki Diskussion",
  24         "Vorlage",
  25         "Vorlage Diskussion",
  26         "Hilfe",
  27         "Hilfe Diskussion",
  28         "Kategorie",
  29         "Kategorie Diskussion"
  30   };
  31   private static WikibooksDE instance = new WikibooksDE();
  32
  33   /**
  34    * Get the singleton instance
  35    *
  36    * @see net.sourceforge.phpeclipse.wiki.editor.WikiEditorPlugin#getWikiInstance()
  37    */
  38   public static IWikipedia getInstance() {
  39     return instance;
  40   }
  41
  42   // private constructor
  43   private WikibooksDE() {
  44     super(new WikiProperties("WikibooksDE"));
  45   }
  46
  47   /**
  48    * @return Returns the nameSpaces.
  49    */
  50   public String[] getNameSpaces() {
  51     return nameSpaces;
  52   }
  53
  54 }