mircobabini

<?
/**
 * returns the first true-valued value
 * 
 * @param mixed $if
 * @param mixed $or
 * @return mixed
 * 
 * @package Handframe/Tool/Function
 * @author Mirco Babini <[email protected]>

mircobabini

<?
/**
 * rounds a float to the nearest on step-scale
 * 
 * @param float $value	value to round
 * @param float $step	step-scale,
 * @return float		rounded value
 * 
 * @package Handframe/Tool/Function
 * @author Mirco Babini <[email protected]>

mircobabini

/**
 * useful to create large lists from others on twitter
 * 
 * @author Mirco Babini <[email protected]>
 * @license http://creativecommons.org/licenses/by-nc/3.0/
 * 
 * @usage
 * gimmeabeer (listid);
 * gimmeabeer ([listid1, listid2, ..]);
 */

mircobabini

<?
/**
 * Retro-support of get_called_class()
 * @author laurence(at)sol1(dot)com(dot)au
 */
if (!function_exists ('get_called_class'))
{
	function get_called_class ($bt = false, $l = 1)
	{
		if (!$bt) $bt = debug_backtrace ();

mircobabini

<?
require "vcard-extendible.php"; // https://github.com/nuovo/vCard-parser
class GCards extends vCard {
	/**
	 * @return bool
	 */
	public function hasTel () {
		return (sizeof ($this->tel) > 0);
	}
	public function hasMail () {

mircobabini

Cookies = {
	set: function (name, value, extime, path) {
		var exdate = new Date(parseInt (extime+'000'));
		var cookievalue = escape (value) +
			((extime == null) ? "" : "; expires=" + exdate.toUTCString()) +
			((path == null) ? "" : "; path=" + path);

		document.cookie = name + "=" + cookievalue;
	},
	get: function (name) {

mircobabini

<?
// [..]

/**
 * Hostname specific wp-config statement
 * 
 * @author Mirco Babini <[email protected]>
 * @uses hostname (): */
if (!function_exists ('hostname')) {
	function hostname () { return trim (php_uname ("n")); } } /*

mircobabini

<?
/**
 * @author _LameMind <[email protected]>
 */
abstract class LinuxSystem {
	/**
	 * @param string $question
	 * @param array $admittedValues
	 * @return mixed 
	 */

mircobabini

<?
/**
 * @param string $olddomain
 * @param string $newdomain
 * @param string $infile
 * @param string $outfile
 * @return int|bool
 */
function wp_sql_domain_changer ($olddomain, $newdomain, $infile = null, $outfile = null) {
	$infile = ($infile === null) ? 'input.sql' : $infile;

mircobabini

<?
$input = "input.java";
$c = file_get_contents ($input);	// get the mess
$c = str_replace ('(', " (", $c);	// fill the space
$c = preg_replace ('#\s\s+\(#', " (", $c);	// remove multiple spaces
file_put_contents ("output.java", $c);		// spread the world

// one day you will regret it