fix typo in comment in Preferences.php
authorumherirrender <umherirrender_de.wp@web.de>
Sat, 5 Apr 2014 19:13:38 +0000 (21:13 +0200)
committerIAlex <codereview@emsenhuber.ch>
Sat, 5 Apr 2014 19:18:12 +0000 (19:18 +0000)
commitad69935c0bf490eef86ee715f32cb5fd096802e3
tree3bbabea2e446cd025cc334fffd910c5cbd6d720f
parentfdd4e3007dce9a37e047029e78fdf71a8ce61041
fix typo in comment in Preferences.php

The name of the preference was spelled wrong.

Change-Id: I443d0a8fc67c89da36b5c725dd3f3513d4170357
includes/Preferences.php