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; } }