diff options
| author | Julius Härtl <jus@bitgrid.net> | 2020-07-10 15:13:29 +0300 |
|---|---|---|
| committer | Julius Härtl <jus@bitgrid.net> | 2020-07-15 10:28:12 +0300 |
| commit | 35bdb998ef7bc1a52c8cd3a28ee727f874dde557 (patch) | |
| tree | dd03c4d07746d4b52e466bc5a2e006d573f78cf4 /lib/private/Dashboard | |
| parent | e6fb1b9878c2981c5bf5526a4d4e83aae77f436d (diff) | |
Dashboard strict typing
Signed-off-by: Julius Härtl <jus@bitgrid.net>
Diffstat (limited to 'lib/private/Dashboard')
| -rw-r--r-- | lib/private/Dashboard/Manager.php | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/private/Dashboard/Manager.php b/lib/private/Dashboard/Manager.php index c9185e0b832..0c285a8b53d 100644 --- a/lib/private/Dashboard/Manager.php +++ b/lib/private/Dashboard/Manager.php @@ -1,4 +1,7 @@ <?php + +declare(strict_types=1); + /** * @copyright Copyright (c) 2020 Julius Härtl <jus@bitgrid.net> * |