2010-07-20 14:03:54 +00:00
|
|
|
<?php
|
|
|
|
|
|
2015-07-10 13:36:21 +02:00
|
|
|
if (!$os) {
|
|
|
|
|
if (strstr($sysDescr, 'RICOH Aficio')) {
|
|
|
|
|
$os = 'ricoh';
|
|
|
|
|
}
|
2016-05-03 22:51:11 +00:00
|
|
|
|
|
|
|
|
if (stristr($sysDescr, 'RICOH Network Printer')) {
|
|
|
|
|
$os = 'ricoh';
|
|
|
|
|
}
|
2010-07-20 14:03:54 +00:00
|
|
|
}
|
