repo.or.cz
/
mediawiki.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
Fix for r47482: put the RELEASE-NOTES entry in the "bug fixes" section and not the...
[mediawiki.git]
/
redirect.php
blob
626c30d3bccffdc211aabc0e9db93df03aa486c2
1
<
?php
2
require_once
(
'./includes/WebStart.php'
);
3
global
$wgArticlePath
;
4
5
$page
=
$wgRequest
->
getVal
(
'wpDropdown'
);
6
7
$url
=
str_replace
(
"
$1
"
,
urlencode
(
$page
),
$wgArticlePath
);
8
9
header
(
"Location: {
$url
}"
);