Removed support for <!--PARAMETERS--> tag.

It doesn't work any more, and was rarely used anyway.

https://bugzilla.gnome.org/show_bug.cgi?id=727523