A command line refactoring tool for PHP