1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
|
<?php
/**
* Helper tools for dealing with other locally-hosted wikis
*/
class WikiMap {
static function getWiki( $wikiID ) {
global $wgConf, $IP;
$wgConf->loadFullData();
list( $major, $minor ) = $wgConf->siteFromDB( $wikiID );
if( isset( $major ) ) {
$server = $wgConf->get( 'wgServer', $wikiID, $major,
array( 'lang' => $minor, 'site' => $major ) );
$path = $wgConf->get( 'wgArticlePath', $wikiID, $major,
array( 'lang' => $minor, 'site' => $major ) );
return new WikiReference( $major, $minor, $server, $path );
} else {
return null;
}
}
// Convenience functions from GlobalBlocking
static function getWikiName( $wiki_id ) {
// We can give more info than just the wiki id!
$wiki = WikiMap::getWiki( $wiki_id );
if ($wiki) {
return $wiki->getDisplayName();
}
return $wiki_id;
}
static function foreignUserLink( $wiki_id, $user, $text=null ) {
return self::makeForeignLink( $wiki_id, "User:$user", $text );
}
static function makeForeignLink( $wiki_id, $page, $text=null ) {
global $wgUser;
$sk = $wgUser->getSkin();
if ( !$text )
$text=$page;
$url = self::getForeignURL( $wiki_id, $page );
if ( $url === false )
return false;
return $sk->makeExternalLink( $url, $text );
}
static function getForeignURL( $wiki_id, $page ) {
$wiki = WikiMap::getWiki( $wiki_id );
if ($wiki)
return $wiki->getUrl( $page );
return false;
}
}
class WikiReference {
private $mMinor; ///< 'en', 'meta', 'mediawiki', etc
private $mMajor; ///< 'wiki', 'wiktionary', etc
private $mServer; ///< server override, 'www.mediawiki.org'
private $mPath; ///< path override, '/wiki/$1'
function __construct( $major, $minor, $server, $path ) {
$this->mMajor = $major;
$this->mMinor = $minor;
$this->mServer = $server;
$this->mPath = $path;
}
function getHostname() {
$prefixes = array( 'http://', 'https://' );
foreach ( $prefixes as $prefix ) {
if ( substr( $this->mServer, 0, strlen( $prefix ) ) ) {
return substr( $this->mServer, strlen( $prefix ) );
}
}
throw new MWException( "Invalid hostname for wiki {$this->mMinor}.{$this->mMajor}" );
}
/**
* pretty it up
*/
function getDisplayName() {
$url = $this->getUrl( '' );
$url = preg_replace( '!^https?://!', '', $url );
$url = preg_replace( '!/index\.php(\?title=|/)$!', '/', $url );
$url = preg_replace( '!/wiki/$!', '/', $url );
$url = preg_replace( '!/$!', '', $url );
return $url;
}
private function getLocalUrl( $page ) {
// FIXME: this may be generalized...
return str_replace( '$1', wfUrlEncode( str_replace( ' ', '_', $page ) ), $this->mPath );
}
function getUrl( $page ) {
return
$this->mServer .
$this->getLocalUrl( $page );
}
}
|
