Change some names of formal arguments to suppress wmlscope warnings.
Mainline campaigns are wmllint/wmlscope clean again.

Unfortunately, this required telling wmlscope to ignore all present
instances of new-style animation wildcarding. Some rather messy changes
to wmlscope will have to be considered if it gets more widely used.