PHP interface for version control systems