Static PHP class for some useful array manipulation functions