More or less simple handy methods in PHP.