diff options
| author | wn_ <[email protected]> | 2021-11-14 22:16:16 +0000 |
|---|---|---|
| committer | wn_ <[email protected]> | 2021-11-14 22:16:16 +0000 |
| commit | 324d926eb46f049b2a03743fc445ccceabd4dfb9 (patch) | |
| tree | 072cecb14607f4e40ad0c3b974bcdba2ecba78e1 /classes/plugin.php | |
| parent | 12f9df1066e4b22d5b748c4a9821106515948d75 (diff) | |
Also fix the param signature for Plugin#hook_hotkey_info()
Diffstat (limited to 'classes/plugin.php')
| -rw-r--r-- | classes/plugin.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/classes/plugin.php b/classes/plugin.php index 1cfa5ecbe..40b821b8c 100644 --- a/classes/plugin.php +++ b/classes/plugin.php @@ -276,7 +276,7 @@ abstract class Plugin { } /** - * @param array<string,string> $hotkeys + * @param array<string, array<string, string>> $hotkeys * @return array<string, array<string, string>> */ function hook_hotkey_info($hotkeys) { |