diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2013-09-02 17:47:46 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2013-09-02 17:47:46 +0000 |
| commit | b8af5d9485c3977d4ccea6a3ff2b28f535193237 (patch) | |
| tree | 947336e1ce379f8af630d3ac3de1b7fd74001b0b /opensearch_desc.php5 | |
| parent | ba15e40d9e1121259f74abb49fed1ed241c74c55 (diff) | |
| parent | d0e3dc94c3e4e8d4784123737fe31bf6877e728e (diff) | |
| download | mediawikicore-b8af5d9485c3977d4ccea6a3ff2b28f535193237.tar.gz mediawikicore-b8af5d9485c3977d4ccea6a3ff2b28f535193237.zip | |
Merge "Add converted namespace names as aliases to avoid confusion."
Diffstat (limited to 'opensearch_desc.php5')
0 files changed, 0 insertions, 0 deletions