Update copyright headers in php files