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
5 //The modified sources are available under the "Common Public License"
6 //with permission from the original author: Daniel Wunsch
9 public class WikipediaDE extends AbstractWikipedia {
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" };
15 private static WikipediaDE instance = new WikipediaDE();
18 * Get the singleton instance
20 * @see net.sourceforge.phpeclipse.wiki.editor.WikiEditorPlugin#getWikiInstance()
22 public static IWikipedia getInstance() {
26 // private constructor
27 private WikipediaDE() {
28 super(new WikiProperties("WikipediaDE"));
32 * @return Returns the nameSpaces.
34 public String[] getNameSpaces() {