Update User::getOption() PHPDoc
authorKunal Mehta <legoktm@member.fsf.org>
Thu, 12 Apr 2018 16:42:14 +0000 (09:42 -0700)
committerKunal Mehta <legoktm@member.fsf.org>
Thu, 12 Apr 2018 16:43:03 +0000 (09:43 -0700)
commit278d80b8a1912918ec1caf2f6d177b03d847e474
tree94b6c9c2a14c9bbb3403404c0e63a07f1d84d9a9
parent91bdb5c431292099b0c9fcc587d0afacba837264
Update User::getOption() PHPDoc

The default value could be an array, as is used in Echo.

Change-Id: I90f1d4821ec544cfba9ad48bd1a44f8bb8275317
includes/user/User.php