diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2014-04-20 14:00:22 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2014-04-20 14:00:22 +0000 |
| commit | 79ebb4b0288b709fb53cff8f7ebc5f50221931c9 (patch) | |
| tree | 6142cbdc195c1fbab9f771ae573ee06afd39efbe /includes/Category.php | |
| parent | 27ca77bdd2512a27c58547d810a5206cc4c12b22 (diff) | |
| parent | 5461fd3f2847f455d9db3f3d2887379691557e40 (diff) | |
| download | mediawikicore-79ebb4b0288b709fb53cff8f7ebc5f50221931c9.tar.gz mediawikicore-79ebb4b0288b709fb53cff8f7ebc5f50221931c9.zip | |
Merge "Allow additional interwiki prefixes on local interwiki links"
Diffstat (limited to 'includes/Category.php')
0 files changed, 0 insertions, 0 deletions