PHP functions to clean user input.