subject:"\[MediaWiki\-commits\] \[Gerrit\] mediawiki\/core\[master\]\: Move section ID fallbacks into headers themselves"

[MediaWiki-commits] [Gerrit] mediawiki/core[master]: Move section ID fallbacks into headers themselves

2017-08-31 Thread jenkins-bot (Code Review)

jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/370101 ) Change subject: Move section ID fallbacks into headers themselves .. Move section ID fallbacks into headers themselves Per

[MediaWiki-commits] [Gerrit] mediawiki/core[master]: Move section ID fallbacks into headers themselves

2017-08-03 Thread MaxSem (Code Review)

MaxSem has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/370101 ) Change subject: Move section ID fallbacks into headers themselves .. Move section ID fallbacks into headers themselves Change-Id: