[MediaWiki-commits] [Gerrit] Rename source folder to src - change (mediawiki...Ask)

2013-07-09 Thread Denny Vrandecic (Code Review)
Denny Vrandecic has submitted this change and it was merged. Change subject: Rename source folder to src .. Rename source folder to src Change-Id: I64f4c844300f701b4391f9bc356d39af2fa3d1eb --- M Ask.php R src/Ask/Comparable.php

[MediaWiki-commits] [Gerrit] Rename source folder to src - change (mediawiki...Ask)

2013-07-09 Thread Jeroen De Dauw (Code Review)
Jeroen De Dauw has uploaded a new change for review. https://gerrit.wikimedia.org/r/72706 Change subject: Rename source folder to src .. Rename source folder to src Change-Id: I64f4c844300f701b4391f9bc356d39af2fa3d1eb --- M