Merge "Remove loading of module 'mediawiki.toc' in special pages"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 13 Dec 2018 01:57:34 +0000 (01:57 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 13 Dec 2018 01:57:34 +0000 (01:57 +0000)
commit93350da7f1ab397b87c3ac3073ddfc1c857b272e
treeb6a95d26e1605c816a85dfb074630ca7481eee85
parent32d9c56c27d99831a56b10f5b1e69996ebe505cd
parent81e773f2f2d9937b5cbc9436be648807d51fc32d
Merge "Remove loading of module 'mediawiki.toc' in special pages"
includes/api/ApiHelp.php