Merge remote-tracking branch 'upstream/develop' into 1612-unused-indexes

2017-01-07 16:13:57 +00:00
parent 1febf182ad ee39aba490
commit ed0143c9f0
162 changed files with 766 additions and 683 deletions
--- a/mod/community.php
+++ b/mod/community.php
@@ -1,6 +1,6 @@
 <?php

-function community_init(&$a) {
+function community_init(App &$a) {
 	if (! local_user()) {
 		unset($_SESSION['theme']);
 		unset($_SESSION['mobile-theme']);