move 7zip.inc to a regular php file
authorAriel T. Glenn <ariel@wikimedia.org>
Mon, 13 May 2019 10:38:37 +0000 (13:38 +0300)
committerJforrester <jforrester@wikimedia.org>
Mon, 13 May 2019 11:25:24 +0000 (11:25 +0000)
commitee66a53468d58ddf9eb2067504a5253c3e553661
tree3cd68be0e72276c1b72a5fcad02c098e1c3d6c4a
parentba2788f62fc19e2ccbaf9e77f0937e16547e941d
move 7zip.inc to a regular php file

Bug: T182814
Change-Id: I53746333fe3c1cdc357bf46d71a351231a845e2f
.phpcs.xml
autoload.php
maintenance/7zip.inc [deleted file]
maintenance/includes/SevenZipStream.php [new file with mode: 0644]
maintenance/includes/TextPassDumper.php