|
|
|
@ -29,6 +29,10 @@ if(isset($_SERVER['QUERY_STRING']) && preg_match('/^.+@' . DOMAIN . '$/', $_SERV |
|
|
|
|
break; |
|
|
|
|
} |
|
|
|
|
} |
|
|
|
|
$url = HOME_URL; |
|
|
|
|
if (preg_match('/^https?:\/\//', $user[0]['labeleduri'][0])) |
|
|
|
|
$url = $user[0]['labeleduri'][0]; |
|
|
|
|
|
|
|
|
|
} |
|
|
|
|
else { |
|
|
|
|
exit; |
|
|
|
@ -49,13 +53,14 @@ else { |
|
|
|
|
|
|
|
|
|
// Home page |
|
|
|
|
<?php |
|
|
|
|
if ($pref == 'lockPref'){ |
|
|
|
|
// Bug somewhere: defaultPref doesn't set the home page |
|
|
|
|
// only lockPref works |
|
|
|
|
echo 'lockPref("browser.startup.homepage", "'.HOME_URL.'");'."\n"; |
|
|
|
|
echo 'lockPref("browser.startup.page", 1);'."\n"; |
|
|
|
|
if ($pref == 'defaultPref'){ |
|
|
|
|
// startup.homepage is a complex setting. |
|
|
|
|
// see http://mike.kaply.com/2012/08/29/setting-the-default-firefox-homepage-with-autoconfig/ |
|
|
|
|
$url = 'data:text/plain,browser.startup.homepage='.$url; |
|
|
|
|
} |
|
|
|
|
?> |
|
|
|
|
<?php echo $pref;?>("browser.startup.homepage", "'.<?php echo $url;?>.'");
|
|
|
|
|
<?php echo $pref;?>("browser.startup.page", 1);
|
|
|
|
|
<?php echo $pref;?>("startup.homepage_override_url", "");
|
|
|
|
|
<?php echo $pref;?>("startup.homepage_welcome_url", "");
|
|
|
|
|
|
|
|
|
|