2ff3d0baedad566ab6bd6e7200d3cf5aade921d2
[phpeclipse.git] /
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
4 //
5 //The modified sources are available under the "Common Public License"
6 //with permission from the original author: Daniel Wunsch
7
8
9 public class WikipediaDE extends AbstractWikipedia {
10
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" };
14
15   private static WikipediaDE instance = new WikipediaDE();
16
17   /*
18    * Get the singleton instance
19    */
20   public static IWikipedia getInstance() {
21     return instance;
22   }
23
24   // private constructor
25   private WikipediaDE() {
26     super(new WikiProperties("DE"));
27   }
28
29   /**
30    * @return Returns the nameSpaces.
31    */
32   public String[] getNameSpaces() {
33     return nameSpaces;
34   }
35
36 }