Fix license header on php files