PHP 5.3 String manipulation library