Das Widget ist jetzt fertig und holt die Information direkt aus der Lizenzdatei. Der Vollständigkeit halber hier der Code, der genau dies tut:

private function getLicensesAvailable()
	{
		$path = '\\\\servername\\JobRouter3$\\license\\jr_license.xml';
		$xml = simplexml_load_file($path);

	$licenses = (int)$xml->limitations->users;

	return $licenses;
}

Danke Martin für die Rückmeldung 🙂