Merge "OutputPage: Change outdated comment to point to mediawiki.org page."
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 28 Jun 2019 16:52:00 +0000 (16:52 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 28 Jun 2019 16:52:00 +0000 (16:52 +0000)
commitcd96adf65fd2aca3c31535ad562948e768fb6131
treec413571031410916f64e85536b4cc7bbb5688292
parent2586339be2c2be12dcf67c64d7f663d0e632c664
parenta3362815dd26a774d647e3719b24f1e0ea4b796b
Merge "OutputPage: Change outdated comment to point to mediawiki.org page."