NEW Add badge of number of deployment server.

Author: eldy

backoffice/lib/backoffice.lib.php

@@ -25,9 +25,10 @@
 /**
  * Build tabs for admin page
  *
+ * @param	int		$nbtotalofrecords		Number of deployment servers
  * @return array
  */
-function sellYourSaasBackofficePrepareHead()
+function sellYourSaasBackofficePrepareHead($nbtotalofrecords = 0)
 {
 	global $langs;
 
@@ -48,6 +49,7 @@ function sellYourSaasBackofficePrepareHead()
 		$head[$h][0] = '/custom/sellyoursaas/deploymentserver_list.php';
 		$head[$h][0] = dol_buildpath('/sellyoursaas/deploymentserver_list.php', 1);
 		$head[$h][1] = $langs->trans("DeploymentServers");
+		$head[$h][1] .= '<span class="badge marginleftonlyshort">'.$nbtotalofrecords.'</span>';
 		$head[$h][2] = 'deploymentservers';
 		$h++;
 	}