Merge "Linker: Document parseComment() as returning HTML"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 13 Oct 2018 05:23:43 +0000 (05:23 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 13 Oct 2018 05:23:43 +0000 (05:23 +0000)
commit86529fef92eb87bf6a77aa8352aba0075cb6f728
tree2a05f0e07b04ef5f1d4ce22513f795a7e07eacbb
parentb6fecdf6feeb785a8d72c8467e25bcd30261baa5
parent39e2e85a4462739c10724c71ff49f4780b4416d9
Merge "Linker: Document parseComment() as returning HTML"