Clean some phpcs errors in Preferences.php
authorAmir E. Aharoni <amir.aharoni@mail.huji.ac.il>
Sun, 15 Dec 2013 07:20:11 +0000 (09:20 +0200)
committerAmir E. Aharoni <amir.aharoni@mail.huji.ac.il>
Sun, 15 Dec 2013 07:20:11 +0000 (09:20 +0200)
commit46cf6929ed85f59c760b9e264aea93ac8cba5c7c
treec0b8a845268d34203f620af30e2fdb07b7b70df5
parent0e268404d551022ed399012cd5b0d181522ee202
Clean some phpcs errors in Preferences.php

Change-Id: I315e562c5f85e464a8ca61be6a47e2a468156a55
includes/Preferences.php