<?php
if (!extension_loaded("mongo")) {
    die("skip The Mongo extension isn't loaded");
}