[MediaWiki-commits] [Gerrit] Allow toggling elements with space - change (mediawiki/core)

2013-09-07 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Allow toggling elements with space .. Allow toggling elements with space This seems more convenient than having the space key do nothing as it does right

[MediaWiki-commits] [Gerrit] Allow toggling elements with space - change (mediawiki/core)

2013-09-07 Thread Hoo man (Code Review)
Hoo man has uploaded a new change for review. https://gerrit.wikimedia.org/r/83226 Change subject: Allow toggling elements with space .. Allow toggling elements with space This seems more convenient than having the space key