<?php
  if (!extension_loaded('mysqli'))
    die('skip mysqli extension not available');
?>