phpdoc
Bug #13219: Show label in notification instead of server name