We can now return a list of known servers

[friendica.git] / mod / settings.php

diff --git a/mod/settings.php b/mod/settings.php
index 1fbd24325d14d23bed3b66e5483e7709d7520532..32ccaf541af0aa738469642a3274049b6d6f1d06 100644 (file)
--- a/mod/settings.php
+++ b/mod/settings.php
@@ -16,7 +16,7 @@ function get_theme_config_file($theme){
        return null;
 }
 
-function settings_init(App &$a) {
+function settings_init(App $a) {
 
        if (! local_user()) {
                notice( t('Permission denied.') . EOL );
@@ -116,7 +116,7 @@ function settings_init(App &$a) {
 }
 
 
-function settings_post(App &$a) {
+function settings_post(App $a) {
 
        if (! local_user()) {
                return;
@@ -654,7 +654,7 @@ function settings_post(App &$a) {
 }
 
 
-function settings_content(App &$a) {
+function settings_content(App $a) {
 
        $o = '';
        nav_set_selected('settings');