Demon has submitted this change and it was merged. Change subject: [FileBackend] Added option for copy script to skip non-UTF8 filenames. ......................................................................
[FileBackend] Added option for copy script to skip non-UTF8 filenames. Change-Id: I9b48012d890c2c4589984576a31d84dde535ad5b --- M maintenance/copyFileBackend.php 1 file changed, 9 insertions(+), 1 deletion(-) Approvals: Demon: Looks good to me, approved jenkins-bot: Verified -- To view, visit https://gerrit.wikimedia.org/r/18447 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I9b48012d890c2c4589984576a31d84dde535ad5b Gerrit-PatchSet: 2 Gerrit-Project: mediawiki/core Gerrit-Branch: master Gerrit-Owner: Aaron Schulz <asch...@wikimedia.org> Gerrit-Reviewer: Aaron Schulz <asch...@wikimedia.org> Gerrit-Reviewer: Catrope <roan.katt...@gmail.com> Gerrit-Reviewer: Demon <ch...@wikimedia.org> Gerrit-Reviewer: jenkins-bot _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
