diff options
| author | Umherirrender <umherirrender_de.wp@web.de> | 2025-02-13 21:12:39 +0100 |
|---|---|---|
| committer | Umherirrender <umherirrender_de.wp@web.de> | 2025-02-22 19:17:34 +0000 |
| commit | 08ab2771f85e36735288ef8ece704760e5522e3f (patch) | |
| tree | 7fee182e838706059d7e20aba80263645fb93eaf | |
| parent | 155d9153ff349cdedf6ad0422fa7933c35813562 (diff) | |
| download | mediawikicore-08ab2771f85e36735288ef8ece704760e5522e3f.tar.gz mediawikicore-08ab2771f85e36735288ef8ece704760e5522e3f.zip | |
maintenance: Document channel for Maintenance::output as string
It is passed to Maintenance::outputChanneled,
already documented as string
Change-Id: Ice0222d642fef703a5cc39ef0d238bd2c31d4d40
| -rw-r--r-- | maintenance/includes/Maintenance.php | 2 | ||||
| -rw-r--r-- | maintenance/renameDbPrefix.php | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/maintenance/includes/Maintenance.php b/maintenance/includes/Maintenance.php index 976a73832e4d..cf895640fe6a 100644 --- a/maintenance/includes/Maintenance.php +++ b/maintenance/includes/Maintenance.php @@ -488,7 +488,7 @@ abstract class Maintenance { * as we handle all --quiet stuff here * @stable to override * @param string $out The text to show to the user - * @param mixed|null $channel Unique identifier for the channel. See function outputChanneled. + * @param string|null $channel Unique identifier for the channel. See function outputChanneled. */ protected function output( $out, $channel = null ) { // This is sometimes called very early, before Setup.php is included. diff --git a/maintenance/renameDbPrefix.php b/maintenance/renameDbPrefix.php index d63cba06dd20..f18ef4f8dc3c 100644 --- a/maintenance/renameDbPrefix.php +++ b/maintenance/renameDbPrefix.php @@ -70,7 +70,7 @@ class RenameDbPrefix extends Maintenance { $this->fatalError( "Invalid prefix!" ); } if ( $old === $new ) { - $this->output( "Same prefix. Nothing to rename!\n", true ); + $this->output( "Same prefix. Nothing to rename!\n" ); } $this->output( "Renaming DB prefix for tables of $dbName from '$old' to '$new'\n" ); |