Merge "Linker: Remove outdated comment"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 8 Sep 2018 01:35:49 +0000 (01:35 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 8 Sep 2018 01:35:49 +0000 (01:35 +0000)
commit2311183aa0e041c2fd9c6b50f319d8defe236554
tree02a5b3230e0cdb2bea57c878308b696ec735145a
parentf696ba1270111a6a66337439404df378580f25b8
parentf08f6fcbc2a301b5e57e5bc56f55222175e5837f
Merge "Linker: Remove outdated comment"
includes/Linker.php