diff options
Diffstat (limited to 'maintenance/convertExtensionToRegistration.php')
| -rw-r--r-- | maintenance/convertExtensionToRegistration.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/maintenance/convertExtensionToRegistration.php b/maintenance/convertExtensionToRegistration.php index 3c2f5c2975f8..bed732a5092a 100644 --- a/maintenance/convertExtensionToRegistration.php +++ b/maintenance/convertExtensionToRegistration.php @@ -226,7 +226,7 @@ class ConvertExtensionToRegistration extends Maintenance { } } - private function stripPath( $val, $dir ) { + private function stripPath( string $val, string $dir ): string { if ( $val === $dir ) { $val = ''; } elseif ( strpos( $val, $dir ) === 0 ) { |