Remove RequestContext from edit.php and fixDoubleRedirects.php