2015-12-13 09:55:23 +01:00
|
|
|
<?php
|
|
|
|
if (!$os) {
|
2016-01-13 14:51:02 +00:00
|
|
|
if (strstr($sysDescr, 'Samsung CLX') || strstr($sysDescr, 'Samsung SCX')) {
|
2015-12-18 17:50:38 +01:00
|
|
|
$os = 'samsungprinter';
|
2015-12-13 09:55:23 +01:00
|
|
|
}
|
2015-12-29 23:02:11 +01:00
|
|
|
}
|