diff options
author | Pierre Schmitz <pierre@archlinux.de> | 2009-02-09 23:10:10 +0100 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2009-02-09 23:10:10 +0100 |
commit | 4fe7385a8edd62dd7d36fedb157f296e5a57002a (patch) | |
tree | d9aef11439d0044d8d8e76ebf3898858bfce789f /includes/GlobalFunctions.php | |
parent | de5fed526fb1bc218abe51b166691ebc3bd113b6 (diff) |
updated to 1.13.4
Diffstat (limited to 'includes/GlobalFunctions.php')
-rw-r--r-- | includes/GlobalFunctions.php | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/includes/GlobalFunctions.php b/includes/GlobalFunctions.php index 26401bb4..d1336d47 100644 --- a/includes/GlobalFunctions.php +++ b/includes/GlobalFunctions.php @@ -2769,6 +2769,21 @@ function wfWaitForSlaves( $maxLag ) { } } +/** + * Output some plain text in command-line mode or in the installer (updaters.inc). + * Do not use it in any other context, its behaviour is subject to change. + */ +function wfOut( $s ) { + static $lineStarted = false; + global $wgCommandLineMode; + if ( $wgCommandLineMode && !defined( 'MEDIAWIKI_INSTALL' ) ) { + echo $s; + } else { + echo htmlspecialchars( $s ); + } + flush(); +} + /** Generate a random 32-character hexadecimal token. * @param mixed $salt Some sort of salt, if necessary, to add to random characters before hashing. */ |