1 package net.sourceforge.phpeclipse.wiki.actions.mediawiki.config;
3 //Parts of this sources are copied and modified from the jEdit Wikipedia plugin:
4 //http://www.djini.de/software/wikipedia/index.html
6 //The modified sources are available under the "Common Public License"
7 //with permission from the original author: Daniel Wunsch
9 public class WikinewsDE extends AbstractWikipedia {
11 final private static String[] nameSpaces = new String[] { "Media", "Spezial", "", "Diskussion", "Benutzer",
12 "Benutzer Diskussion", "Wikinews", "Wikinews Diskussion", "Bild", "Bild Diskussion", "MediaWiki", "MediaWiki Diskussion",
13 "Vorlage", "Vorlage Diskussion", "Hilfe", "Hilfe Diskussion", "Kategorie", "Kategorie Diskussion" };
15 private static WikinewsDE instance = new WikinewsDE();
18 * Get the singleton instance
20 * @see net.sourceforge.phpeclipse.wiki.editor.WikiEditorPlugin#getWikiInstance()
22 public static IWikipedia getInstance() {
26 // private constructor
27 private WikinewsDE() {
28 super(new WikiProperties("WikinewsDE"));
32 * @return Returns the nameSpaces.
34 public String[] getNameSpaces() {