Do not complain of the use of User::decodeOptions in User.php:1089

It is only executed inside an if ( isset( $row->user_options ) )

Change-Id: Ic2e4dddf18cd55c220b482efb4d18c72f99f1400