WebStart.php: Make lines shorter to make phpcs happier
authorAmir E. Aharoni <amir.aharoni@mail.huji.ac.il>
Sat, 26 Sep 2015 09:45:52 +0000 (12:45 +0300)
committerAmir E. Aharoni <amir.aharoni@mail.huji.ac.il>
Sat, 26 Sep 2015 09:45:52 +0000 (12:45 +0300)
commit94508ab5b2793c724b4f440bd4a5ce134041b65c
tree2818292e0d2c6a2d3665621d80847804a9206e22
parent859cc75432b88d305ee798764a0b9e6c54646f4a
WebStart.php: Make lines shorter to make phpcs happier

Change-Id: Ifbcf572a08837e9572cc4ed9bd274d4e5ad676ab
includes/WebStart.php