[MediaWiki-commits] [Gerrit] Allow numeric headers in Sidebar - change (mediawiki...Vector)

2015-01-12 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Allow numeric headers in Sidebar .. Allow numeric headers in Sidebar A numeric string set as key of an array gets casted to an integer. Since

[MediaWiki-commits] [Gerrit] Allow numeric headers in Sidebar - change (mediawiki...Vector)

2015-01-12 Thread Legoktm (Code Review)
Legoktm has uploaded a new change for review. https://gerrit.wikimedia.org/r/184390 Change subject: Allow numeric headers in Sidebar .. Allow numeric headers in Sidebar A numeric string set as key of an array gets casted to

[MediaWiki-commits] [Gerrit] Allow numeric headers in Sidebar - change (mediawiki...Vector)

2015-01-11 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Allow numeric headers in Sidebar .. Allow numeric headers in Sidebar A numeric string set as key of an array gets casted to an integer. Since

[MediaWiki-commits] [Gerrit] Allow numeric headers in Sidebar - change (mediawiki...Vector)

2015-01-10 Thread Umherirrender (Code Review)
Umherirrender has uploaded a new change for review. https://gerrit.wikimedia.org/r/184151 Change subject: Allow numeric headers in Sidebar .. Allow numeric headers in Sidebar A numeric string set as key of an array gets