Bug #3816 Missing server_processlist.php