It has been there for a long time :) there may be a way around it though. —
Sent from Mailbox

On Tue, May 20, 2014 at 10:31 AM, Pete Muir <notifications@github.com>
wrote:

>> \ No newline at end of file
>> +  ul.pagination
>> +- if !page.product.nil?
>> +  javascript:
>> +    var devMatOptions = {'product':'#{page.product.id}','max_results':#{page.max_results}};
> Very naughty!!!!
> ---
> Reply to this email directly or view it on GitHub:
> https://github.com/jboss-developer/www.jboss.org/pull/177/files#r12853701