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

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 I458c0af3114

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

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

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

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 I458c0af3114

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

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