diff options
| author | Umherirrender <umherirrender_de.wp@web.de> | 2022-07-12 20:03:53 +0200 |
|---|---|---|
| committer | Umherirrender <umherirrender_de.wp@web.de> | 2022-07-12 20:07:23 +0200 |
| commit | 68cef1ab992fd6c87360f729686aed62feff8a63 (patch) | |
| tree | 81c1ec1645bcb9243ddc518dac3d9dd4c3c93fff /includes/HookContainer | |
| parent | 99735f6a3b6ec35fed190ac33e2e3159cd15ace5 (diff) | |
| download | mediawikicore-68cef1ab992fd6c87360f729686aed62feff8a63.tar.gz mediawikicore-68cef1ab992fd6c87360f729686aed62feff8a63.zip | |
Various whitespace changes
Change-Id: I31f316c66b3066461b9297c7b6f9845ade99f0df
Diffstat (limited to 'includes/HookContainer')
| -rw-r--r-- | includes/HookContainer/DeprecatedHooks.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/includes/HookContainer/DeprecatedHooks.php b/includes/HookContainer/DeprecatedHooks.php index a0ae5095753d..1a433a009826 100644 --- a/includes/HookContainer/DeprecatedHooks.php +++ b/includes/HookContainer/DeprecatedHooks.php @@ -94,8 +94,8 @@ class DeprecatedHooks { * @param bool $silent True to not raise any deprecation warning * @throws InvalidArgumentException Hook has already been marked deprecated */ - public function markDeprecated( string $hook, string $version, - ?string $component = null, bool $silent = false + public function markDeprecated( + string $hook, string $version, ?string $component = null, bool $silent = false ): void { if ( isset( $this->deprecatedHooks[$hook] ) ) { throw new InvalidArgumentException( |