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 WikibooksDE extends AbstractWikipedia {
11 final private static String[] nameSpaces = new String[] {
17 "Benutzer Diskussion",
19 "Wikibooks Diskussion",
23 "MediaWiki Diskussion",
29 "Kategorie Diskussion"
31 private static WikibooksDE instance = new WikibooksDE();
34 * Get the singleton instance
36 * @see net.sourceforge.phpeclipse.wiki.editor.WikiEditorPlugin#getWikiInstance()
38 public static IWikipedia getInstance() {
42 // private constructor
43 private WikibooksDE() {
44 super(new WikiProperties("WikibooksDE"));
48 * @return Returns the nameSpaces.
50 public String[] getNameSpaces() {