servtabs and worktabs should be renamed

Hello, with new tab system, it would be better to rename servtabs and worktabs into servertabs and workstationtabs, that would allow plugins using the new system to directly use "server" and "workstation" as object type. (while they have to use serv and work right now if they want to be displayed)

(from redmine: issue id 1443, created on 2012-10-24, closed on 2012-11-14)

• Uploads:
  • 0001-Fixes-1443-servtabs-and-worktabs-should-be-renamed.patch