Functions to manipulate PHP class names