As a test, try changing the code like this:
Code:
$navdata['tab_oda5_837']['text'] .= ' X<script language="javascript" src="/logon_users.php"></script>';
and see if the X shows up. If it does, then the problem is your script.
You're specifying a php file as a javascript source file, so unless your logon_users.php outputs javascript code (and that code somehow displays a number), it's not going to work.