<?php

if (!extension_loaded("ming")) {
    
dl('php_ming.so');
}
?>