diff options
| author | Joas Schilling <nickvergessen@owncloud.com> | 2016-01-11 13:43:58 +0300 |
|---|---|---|
| committer | Joas Schilling <nickvergessen@owncloud.com> | 2016-01-11 13:43:58 +0300 |
| commit | 866b4b305368509b0df8782e3e37b38643589fd7 (patch) | |
| tree | b43006eb3227a50a23de3364f41e0bc9714066cd /settings | |
| parent | 25a4878886df943b8e458ef6bc3e9f88cb614260 (diff) | |
Fix types
Diffstat (limited to 'settings')
| -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"> |