I guess this one is fine. But it didn't work in some versions of PHP (I guess the old ones). But travis passes, so fuck it :)