<?php

if(isset($_GET['content']))
	header('Location: http://jira.reactos.org/issues/?jql=text%20~%20"' . urlencode($_GET['content']) . '"');
else
	header('Location: http://jira.reactos.org/');