Bug #14542 ยป gateway.widget.php.patch
| /usr/local/www/widgets/widgets/gateways.widget.php 2023-07-05 14:47:13.141738000 +0100 | ||
|---|---|---|
|
}
|
||
|
if (isset($gateway['isdefaultgw'])) {
|
||
|
$gtitle = gettext("Default gateway");
|
||
|
} else {
|
||
|
$gtitle = "";
|
||
|
}
|
||
|
$gw_displayed = true;
|
||