<div>Sorry the previous pull request got closed as a mistake. Here is the new pull request:
                </div><div><br></div><div><a href="https://github.com/phpmyadmin/phpmyadmin/pull/160">https://github.com/phpmyadmin/phpmyadmin/pull/160</a></div>
                <div><div><br></div><div>-- </div><div>Ayush Chaudhary</div><div><br></div></div>