Merge "Move section ID fallbacks into headers themselves"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 31 Aug 2017 21:02:12 +0000 (21:02 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 31 Aug 2017 21:02:12 +0000 (21:02 +0000)
commit802c199d0bd80ff0f4d730c61fd58cbf08a52d8d
tree8479d7cba2956ba73081901f784cb32360c94913
parentc65120906674e6fbc540946428d26d32c0acd25b
parent4f2eed6877938c3c7703072567e62b933c07b4b5
Merge "Move section ID fallbacks into headers themselves"
includes/Linker.php
tests/parser/parserTests.txt