Localization update for he.
[mediawiki.git] / includes / WikiMap.php
blobdb9d17da31bb4890550846b2c932a00acc3af756
1 <?php
3 /**
4 * Helper tools for dealing with other locally-hosted wikis
5 */
7 class WikiMap {
8 static function getWiki( $wikiID ) {
9 global $wgConf, $IP;
10 static $initialiseSettingsDone = false;
12 // This is a damn dirty hack
13 if ( !$initialiseSettingsDone ) {
14 $initialiseSettingsDone = true;
15 if( file_exists( "$IP/InitialiseSettings.php" ) ) {
16 require_once "$IP/InitialiseSettings.php";
20 list( $major, $minor ) = $wgConf->siteFromDB( $wikiID );
21 if( isset( $major ) ) {
22 $server = $wgConf->get( 'wgServer', $wikiID, $major,
23 array( 'lang' => $minor, 'site' => $major ) );
24 $path = $wgConf->get( 'wgArticlePath', $wikiID, $major,
25 array( 'lang' => $minor, 'site' => $major ) );
26 return new WikiReference( $major, $minor, $server, $path );
27 } else {
28 return null;
32 // Convenience functions from GlobalBlocking
33 static function getWikiName( $wiki_id ) {
34 // We can give more info than just the wiki id!
35 $wiki = WikiMap::getWiki( $wiki_id );
37 if ($wiki) {
38 return $wiki->getDisplayName();
40 return $wiki_id;
43 static function foreignUserLink( $wiki_id, $user ) {
44 return self::makeForeignLink( $wiki_id, "User:$user" );
47 static function makeForeignLink( $wiki_id, $page, $text=null ) {
48 global $wgUser;
49 $sk = $wgUser->getSkin();
51 if (!$text)
52 $text=$page;
54 return $sk->makeExternalLink( self::getForeignURL( $wiki_id, $page ) , $text );
57 static function getForeignURL( $wiki_id, $page ) {
58 $wiki = WikiMap::getWiki( $wiki_id );
60 if ($wiki)
61 return $wiki->getUrl( $page );
63 return false;
67 class WikiReference {
68 private $mMinor; ///< 'en', 'meta', 'mediawiki', etc
69 private $mMajor; ///< 'wiki', 'wiktionary', etc
70 private $mServer; ///< server override, 'www.mediawiki.org'
71 private $mPath; ///< path override, '/wiki/$1'
73 function __construct( $major, $minor, $server, $path ) {
74 $this->mMajor = $major;
75 $this->mMinor = $minor;
76 $this->mServer = $server;
77 $this->mPath = $path;
80 function getHostname() {
81 $prefixes = array( 'http://', 'https://' );
82 foreach ( $prefixes as $prefix ) {
83 if ( substr( $this->mServer, 0, strlen( $prefix ) ) ) {
84 return substr( $this->mServer, strlen( $prefix ) );
87 throw new MWException( "Invalid hostname for wiki {$this->mMinor}.{$this->mMajor}" );
90 /**
91 * pretty it up
93 function getDisplayName() {
94 $url = $this->getUrl( '' );
95 $url = preg_replace( '!^https?://!', '', $url );
96 $url = preg_replace( '!/index\.php(\?title=|/)$!', '/', $url );
97 $url = preg_replace( '!/wiki/$!', '/', $url );
98 $url = preg_replace( '!/$!', '', $url );
99 return $url;
102 private function getLocalUrl( $page ) {
103 // FIXME: this may be generalized...
104 return str_replace( '$1', wfUrlEncode( str_replace( ' ', '_', $page ) ), $this->mPath );
107 function getUrl( $page ) {
108 return
109 $this->mServer .
110 $this->getLocalUrl( $page );