<?php /* $Id: skipif.inc 155152 2004-04-01 16:25:51Z abies $ */ if (!extension_loaded("interbase")) print "skip"; ?>