top_manager.php gettext tags

Correct me the syntax please. Is this they way I am supposed to do it?