Fix types

diff --git a/settings/templates/personal.php b/settings/templates/personal.php
index 0fc22ac5660ed46f3ba681e5338f4ba780bccba3..ce179ca8788311bd05ad032e9b8d1dc9bd5bbd79 100644 (file)
--- 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">