How to round half up numbers in php?

In this post, this function will round the number to half a unit in php.