If the library doesn't support this phone, you may manually check the user agent using PHP. The user agent is stored in this PHP variable:
$_SERVER['HTTP_USER_AGENT']
Compare it to the phone's user agent. To find the phone's user agent (specifically for samsung devices), first find the model id here.
As you can see, Samsung Galaxy S4 has this model id: "GT-I9500" and therefore, it's user agent typically starts with "Mozilla/5.0 (Linux; Android 4.2.2; GT-I9500".
Since the android version might be different simply search for the model id in the user agent. For example:
if (strpos($_SERVER['HTTP_USER_AGENT'], "GT-I9500") !== FALSE)
print "Samsung Galaxy S4";
There is another case in which the phone's browser is not sending the user agent header at all. In this case, you can write JavaScript code that will run on the phone's browser and will send the user agent to you. For this, you have this JavaScript variable:
navigator.userAgent
You can use ajax to send it to your server or handle the case using JavaScript code.
Good Luck!