diff options
Diffstat (limited to 'settings/templates/personal.php')
| -rw-r--r-- | settings/templates/personal.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/settings/templates/personal.php b/settings/templates/personal.php index 0fc22ac5660..ce179ca8788 100644 --- a/settings/templates/personal.php +++ b/settings/templates/personal.php @@ -4,8 +4,8 @@ * See the COPYING-README file. */ -/** @var $_ array */ -/** @var $_['urlGenerator'] */ +/** @var $_ mixed[]|\OCP\IURLGenerator[] */ +/** @var \OC_Defaults $theme */ ?> <div id="app-navigation"> |