diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2009-02-22 13:37:51 +0100 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2009-02-22 13:37:51 +0100 |
| commit | b9b85843572bf283f48285001e276ba7e61b63f6 (patch) | |
| tree | 4c6f4571552ada9ccfb4030481dcf77308f8b254 /includes/specials/SpecialUserlogout.php | |
| parent | d9a20acc4e789cca747ad360d87ee3f3e7aa58c1 (diff) | |
updated to MediaWiki 1.14.0
Diffstat (limited to 'includes/specials/SpecialUserlogout.php')
| -rw-r--r-- | includes/specials/SpecialUserlogout.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/includes/specials/SpecialUserlogout.php b/includes/specials/SpecialUserlogout.php index 137eadb4..3d497bd7 100644 --- a/includes/specials/SpecialUserlogout.php +++ b/includes/specials/SpecialUserlogout.php @@ -12,7 +12,7 @@ function wfSpecialUserlogout() { $oldName = $wgUser->getName(); $wgUser->logout(); - $wgOut->setRobotpolicy( 'noindex,nofollow' ); + $wgOut->setRobotPolicy( 'noindex,nofollow' ); // Hook. $injected_html = ''; |