[MediaWiki-commits] [Gerrit] PHP TitledElement: Actually set $this-title - change (oojs/ui)

2015-02-26 Thread Code Review
Bartosz Dziewoński has uploaded a new change for review. https://gerrit.wikimedia.org/r/193121 Change subject: PHP TitledElement: Actually set $this-title .. PHP TitledElement: Actually set $this-title Change-Id:

[MediaWiki-commits] [Gerrit] PHP TitledElement: Actually set $this-title - change (oojs/ui)

2015-02-26 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: PHP TitledElement: Actually set $this-title .. PHP TitledElement: Actually set $this-title Change-Id: I3524b7051ccbd77f7c3a6b258ed0a350ddd55837 --- M