top_manager.php missing gettext tags