[MacPorts] #16028: Add search form for just summaries and portnames

[Rainer Müller]

William Siegrist wrote:
> Could I get some feedback on the following changes? Do we want a link  
> in ports.php that is a quick jump for "tickets about this port"?  
> Neither of the two new links are perfect, but are what Trac allows  
> easily. I can implement Ryan's form as an entire custom page if it  
> needs to be exact.

I think your current changes are sufficient, it's now easy enough to
filter tickets for a specific port.

Thanks for adding this!

Rainer