diff options
Diffstat (limited to 'maintenance/includes/SevenZipStream.php')
| -rw-r--r-- | maintenance/includes/SevenZipStream.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/maintenance/includes/SevenZipStream.php b/maintenance/includes/SevenZipStream.php index a133c5f01832..d1dd4520468f 100644 --- a/maintenance/includes/SevenZipStream.php +++ b/maintenance/includes/SevenZipStream.php @@ -50,7 +50,7 @@ class SevenZipStream { } } - private function stripPath( $path ) { + private function stripPath( string $path ): string { $prefix = 'mediawiki.compress.7z://'; return substr( $path, strlen( $prefix ) ); |