1: 2: 3: 4: 5: 6: 7: 8: 9: 10: 11: 12: 13: 14: 15: 16: 17: 18: 19: 20: 21: 22: 23: 24: 25: 26: 27: 28: 29: 30: 31: 32: 33: 34: 35: 36: 37: 38: 39: 40: 41: 42: 43: 44: 45: 46: 47: 48: 49: 50:
<?php
namespace Donut;
class Helpers
{
public static function fetchUrl($url)
{
$s = @file_get_contents($url);
if (is_string($s)) {
return $s;
}
throw new \Donut\InvalidStateException("Download of content from URL '$url' failed.");
}
public static function formatText($mask, array $placeholders, $argument = NULL)
{
if (is_string($mask)) {
return strtr($mask, $placeholders);
}
return call_user_func($mask, $argument);
}
public static function stripWhitespace($s)
{
return trim(preg_replace('#[ \t\r\n]+#', ' ', (string) $s));
}
}