Distinguish 'MediaWiki' and 'MediaWiki extensions' in search results

Increase value of "maxlength" for "product" from 8 to 13 so they do
not both print only "MediaWik" anymore in the Product column of the
Bugzilla search results.
This is a one-liner patch.

Bug: 40244
Change-Id: I868c7016a61e265156a776cd2c67a0f0e7cf99de