diff options
Diffstat (limited to 'skins/Nostalgia.php')
| -rw-r--r-- | skins/Nostalgia.php | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/skins/Nostalgia.php b/skins/Nostalgia.php index 1b54aab9..3b19e41e 100644 --- a/skins/Nostalgia.php +++ b/skins/Nostalgia.php @@ -18,7 +18,7 @@ if( !defined( 'MEDIAWIKI' ) ) class SkinNostalgia extends Skin { function getStylesheet() { - return 'common/nostalgia.css?1'; + return 'common/nostalgia.css'; } function getSkinName() { return "nostalgia"; @@ -63,11 +63,17 @@ class SkinNostalgia extends Skin { $s .= $sep . $this->editThisPage() . $sep . $this->historyLink(); } + + /* show links to different language variants */ + $s .= $this->variantLinks(); + $s .= $this->extensionTabLinks(); + if ( $wgUser->isAnon() ) { $s .= $sep . $this->specialLink( "userlogin" ); } else { $s .= $sep . $this->specialLink( "userlogout" ); } + $s .= $sep . $this->specialPagesList(); return $s; |