Record and report memory usage change in profiling.

[lhc/web/wiklou.git] / includes / SpecialUserlogout.php

diff --git a/includes/SpecialUserlogout.php b/includes/SpecialUserlogout.php
index 808de18..182c9bf 100644 (file)
--- a/includes/SpecialUserlogout.php
+++ b/includes/SpecialUserlogout.php
@@ -1,4 +1,4 @@
-<?
+<?php
 
 function wfSpecialUserlogout()
 {
@@ -7,7 +7,7 @@ function wfSpecialUserlogout()
        $wgUser->logout();
        $wgOut->mCookies = array();
        $wgOut->setRobotpolicy( "noindex,nofollow" );
-       $wgOut->addHTML( wfMsg( "logouttext" ) . "\n<p>" );
+       $wgOut->addHTML( wfMsg( "logouttext" ) );
        $wgOut->returnToMain();
 }