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