Fix ServiceOptions type in constructor documentation
authorUmherirrender <umherirrender_de.wp@web.de>
Thu, 6 Jun 2019 19:59:27 +0000 (21:59 +0200)
committerUmherirrender <umherirrender_de.wp@web.de>
Thu, 6 Jun 2019 19:59:27 +0000 (21:59 +0200)
commitf734e7b1089e0493d19814d5294e7af09eddbca4
tree9e098d7fe56816942fe36cc5dfbc3966c327e65f
parenteecc04472a0050093928bc48e0c789e99ce93e65
Fix ServiceOptions type in constructor documentation

Change-Id: I3fcde4e484ddd6d86e4ca12dcf5977051e7f4cf2
includes/preferences/DefaultPreferencesFactory.php