Outils pour utilisateurs

Outils du site


tips_informatiques:programmation:php:code

Ceci est une ancienne révision du document !


function startWith

    /**
     * Tests if a string starts with a given string
     *
     * @param     string
     * @param     string
     * @return    bool
     */
    function startWith($string, $start)
    {
        return strpos($string, $start) === 0;
    }

function endWith

    /**
     * Tests if a string ends with the given string
     *
     * @param     string
     * @param     string
     * @return    bool
     */
    function endWith($string, $end)
    {
        return strrpos($string, $end) === strlen($string) - strlen($end);
    }

function debug

function debug($object)
{
    echo '<div>';
 
    $calledFrom = debug_backtrace();
    echo '<strong>' . $calledFrom[0]['file'] . '</strong>';
    echo ' (line <strong>' . $calledFrom[0]['line'] . '</strong>)';
 
    echo('<pre>');
    if(is_array($object))
    {
        print_r($object);
    }
    elseif(is_a($object, 'DOMDocument'))
    {
        $object->formatOutput = true;
        $xml_string = $object->saveXML();
        echo htmlentities($xml_string);
    }
    elseif(is_a($object, 'DOMNodeList'))
    {
        $dom = new DOMDocument();
        $debugElement = $dom->createElement('debug');
        $dom->appendChild($debugElement);
 
        foreach ($object as $node) 
        {
        	$node = $dom->importNode($node, true);
        	$debugElement->appendChild($node);
        }
 
        $dom->formatOutput = true;
        $xml_string = $dom->saveXML();
        echo htmlentities($xml_string);
    }
    elseif(is_object($object))
    {
        echo get_class($object);
    }
    else 
    {
        echo $object;
    }
    echo('</pre>');
 
    echo '</div>';
}

function to_db_date

/**
* Converts a UNIX timestamp (as returned by time()) to a datetime string
* for use in SQL queries.
* @param int $date The date as a UNIX timestamp.
* @return string The date in datetime format.
*/
static function to_db_date($date)
{
    if (isset($date))
    {
        return date('Y-m-d H:i:s', $date);
    }
    else
    {
        return null;
    }
}
tips_informatiques/programmation/php/code.1247817115.txt.gz · Dernière modification: 2009/07/17 00:00 (modification externe)