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