Hashar has submitted this change and it was merged.
Change subject: Automatically import any ext in ${sourcedir}
......................................................................
Automatically import any ext in ${sourcedir}
For testing MediaWiki extension, we want MediaWiki to automatically
import the extension. This is done by assuming the main PHP file has the
same name as the extension.
Change-Id: Ib10e533c97591bbe0bfc688d98f6e43d3c596400
---
A jobs/_shared/InjectExtensions.php
M jobs/_shared/build.xml
2 files changed, 22 insertions(+), 0 deletions(-)
Approvals:
Hashar: Verified; Looks good to me, approved
--
To view, visit https://gerrit.wikimedia.org/r/21728
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ib10e533c97591bbe0bfc688d98f6e43d3c596400
Gerrit-PatchSet: 1
Gerrit-Project: integration/jenkins
Gerrit-Branch: master
Gerrit-Owner: Hashar <[email protected]>
Gerrit-Reviewer: Hashar <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
