Look at the average credits for the average film. They go on forever, and there are tons of people in them. It's not like crediting somebody is a big deal, in terms of the cost of giving it out. There are plenty of people whose contribution to the film was small, just like the author of this code, but they get credited anyway, and that's just as it should be - the credit is for the contribution, not for the extent to which it makes the film a success.
"Not that it's needed, but I hereby grant any permissions needed for the inclusion of my code in the movie in any format it's released in. If anyone involved would like to show gratitude for this, I'd like to receive a copy of the movie on DVD or Blu-ray after it's released that way, with either the cover or an insert signed by the director or one of the named actors in the movie - or just a spare poster or bit of promotional material if planning something for after DVD release is going to be a headache.
Thanks for using my code!"