[MediaWiki-commits] [Gerrit] Rename source folder to src - change (mediawiki...Ask)
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)
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