I have a question related to MediaWiki Short URLs  with nginx .
Short URLs are generally working very well. However, after wiki editors
edit an article, they end up on the Long URL. For example
Is it possible that after editing a wiki page editors end up the Short URL?
Config for nginx I am using: 
$wgScriptPath = "/w";
$wgArticlePath = "/wiki/$1";
$wgUsePathInfo = true;
Does  still up to date and look good? Are you using it too and after
wiki editing the wiki page editors still are on the Short URL?
Could something be wrong in the nginx config? Isn't it determined by
PHP/MediaWiki where it redirects to after a wiki editor made an edit?
Does  need an instruction "redirect /w/index.php to /wiki/"?
Does  already have an instruction "redirect /w/index.php to /wiki/",
which one is that?
If PHP/MediaWiki sends the wiki editor's browser after editing to
/w/index.php, should there really be a nginx redirect to /wiki?
I am not sure a redirect from /w/index.php to /wiki is a good idea
because that might break special cases such as:
Could it be that the nginx config is good but something is wrong with
PHP/MediaWiki for directing the wiki editor after redirecting to the
long URL instead of the the short URL?