Last modified: 2014-11-03 20:16:32 UTC
With bug 66441 a new product in bugzilla was added, with the name "MediaWiki skins". This should also be default in the "Advanced search", because it is similar to "MediaWiki extensions", which is already default. Thanks.
Makes sense. Done.