existe una constante PHP_OS, yo la uso de esta manera:
Código PHP:
if (strtoupper(substr(PHP_OS, 0, 3)) == 'WIN')
dl('php_gtk.dll');
else
dl('php_gtk.so');
Para cargar una libreria u otro jeje dependiendo del sistema operativo :P, sino puedes hacer esto tambien:
Código PHP:
dl(stristr(PHP_OS, "WIN") ? "php_gtk.dll" : "php_gtk.so");