Remove this method
htmlspecialchars
from
<input name=page size=100 value="<?=htmlspecialchars($url)?>">
to be
<input name=page size=100 value="<?=$url?>">
After searching a while i found this stackoverflow question
Actually you can't do this but you may decode this URL for further use.