'; echo ''; if ( 0 == $num_users ) { echo ''; } else { echo ''; echo ''; echo ''; echo ''; } echo '

'; echo lang_get( 'no_users_monitoring_bug' ); echo '
' . lang_get( 'users_monitoring_bug' ) . '
' . lang_get( 'monitoring_user_list' ) . '	'; for ( $i = 0; $i < $num_users; $i++ ) { $row = db_fetch_array( $result ); echo ($i > 0) ? ', ' : ''; echo print_user( $row[0] ); } echo '

'; ?>