diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2013-09-01 22:27:12 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2013-09-01 22:27:12 +0000 |
| commit | ba15e40d9e1121259f74abb49fed1ed241c74c55 (patch) | |
| tree | 61820de1a4afa10ead6519ef74170e88822d4aaa /opensearch_desc.php5 | |
| parent | 2ae5919f136913013b002cd0b55a502a77b8667c (diff) | |
| parent | ab442912044814c61e1803bd9b572ec0952b0166 (diff) | |
| download | mediawikicore-ba15e40d9e1121259f74abb49fed1ed241c74c55.tar.gz mediawikicore-ba15e40d9e1121259f74abb49fed1ed241c74c55.zip | |
Merge "Remove dead code"
Diffstat (limited to 'opensearch_desc.php5')
0 files changed, 0 insertions, 0 deletions