[MediaWiki-commits] [Gerrit] Kill $dir for good - change (mediawiki...WikiForum)

2015-07-09 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Kill $dir for good .. Kill $dir for good Change-Id: I139ffd8a64716c707b03934b5c87ccf432d759da --- M WikiForum.php 1 file changed, 12 insertions(+), 13

[MediaWiki-commits] [Gerrit] Kill $dir for good - change (mediawiki...WikiForum)

2015-07-09 Thread Jack Phoenix (Code Review)
Jack Phoenix has uploaded a new change for review. https://gerrit.wikimedia.org/r/223779 Change subject: Kill $dir for good .. Kill $dir for good Change-Id: I139ffd8a64716c707b03934b5c87ccf432d759da --- M WikiForum.php 1