docs: replace integer with int

kenjis · kenjis · commit 05962e9682cc · 2024-02-02T10:46:54.000+09:00
diff --git a/system/Log/Logger.php b/system/Log/Logger.php
@@ -37,7 +37,7 @@ class Logger implements LoggerInterface
      * Used by the logThreshold Config setting to define
      * which errors to show.
      *
-     * @var array<string, integer>
+     * @var array<string, int>
      */
     protected $logLevels = [
         'emergency' => 1,

Original file line number	Diff line number	Diff line change
`@@ -37,7 +37,7 @@ class Logger implements LoggerInterface`
`37`	`37`	`* Used by the logThreshold Config setting to define`
`38`	`38`	`* which errors to show.`
`39`	`39`	`*`
`40`		`- * @var array<string, integer>`
	`40`	`+ * @var array<string, int>`
`41`	`41`	`*/`
`42`	`42`	`protected $logLevels = [`
`43`	`43`	`'emergency' => 1,`