Update main.inc.php

This commit is contained in:
Laurent Destailleur 2018-04-13 10:37:40 +02:00 committed by GitHub
parent a7decb2173
commit b1043e2a57
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1493,14 +1493,16 @@ function top_menu($head, $title='', $target='', $disablejs=0, $disablehead=0, $a
$result=$hookmanager->executeHooks('printTopRightMenu',$parameters); // Note that $action and $object may have been modified by some hooks
if (is_numeric($result))
{
if ($result== 0)
if ($result == 0)
$toprightmenu.=$hookmanager->resPrint; // add
else
$toprightmenu=$hookmanager->resPrint; // replace
}
else
else
{
$toprightmenu.=$result; // For backward compatibility
}
// Link to module builder
if (! empty($conf->modulebuilder->enabled))
{