package net.sourceforge.phpeclipse.wiki.actions.mediawiki.config;
//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


public class WikipediaDE extends AbstractWikipedia {

  final private static String[] nameSpaces = new String[] { "Media", "Spezial", "", "Diskussion", "Benutzer",
      "Benutzer Diskussion", "Wikipedia", "Wikipedia Diskussion", "Bild", "Bild Diskussion", "MediaWiki", "MediaWiki Diskussion",
      "Vorlage", "Vorlage Diskussion", "Hilfe", "Hilfe Diskussion", "Kategorie", "Kategorie Diskussion" };

  private static WikipediaDE instance = new WikipediaDE();

  /**
   * Get the singleton instance
   * 
   * @see net.sourceforge.phpeclipse.wiki.editor.WikiEditorPlugin#getWikiInstance()
   */
  public static IWikipedia getInstance() {
    return instance;
  }

  // private constructor
  private WikipediaDE() {
    super(new WikiProperties("WikipediaDE"));
  }

  /**
   * @return Returns the nameSpaces.
   */
  public String[] getNameSpaces() {
    return nameSpaces;
  }

}