A tool to rewrite PHP class names