Remove unused private field in OutputPage
authorjeroendedauw <jeroendedauw@gmail.com>
Mon, 7 Sep 2015 19:44:57 +0000 (21:44 +0200)
committerjeroendedauw <jeroendedauw@gmail.com>
Mon, 7 Sep 2015 19:44:57 +0000 (21:44 +0200)
commit6a8c8342069ee0fd95dc14f29b64324921af6345
tree153b1e76d16b19e8866becc6d043861bb7592ac7
parentcecd1e024315995268c57bd3da0dd565be2aa72a
Remove unused private field in OutputPage

Change-Id: I5d70886d67d4c1b2a3a176eace2fd545ca842aa3
includes/OutputPage.php