Question about redundancy in link-manager.php

[JasonV]

Before the switch() in link-manager.php, we set all the variables that will be needed whether they are passed via GET or POST, starting at line 55. However, later a number of these variables are set again (for add, editlink, etc.) The only difference is occasionally something like this is used, with '(int)':

$link_id = (int) $_GETlink_id?;

Do we really need '(int)', or can we just stick to setting the variables before the switch()? Seems to me we can just stick to setting them before the switch(), and I'll take care of it if there's no disagreement.