Rename an unused parameter to silence a warning.
auto merge of #2375 : zwarich/servo/progressevent-rename, r=metajack