Add license header to PHP files.