wikimedia / mediawiki

		$val = $user->getOption( $name );

		// Handling for multiselect preferences

		if ( ( isset( $info['type'] ) && $info['type'] == 'multiselect' ) ||

				( isset( $info['class'] ) && $info['class'] == 'HTMLMultiSelectField' ) ) {

			$options = HTMLFormField::flattenOptions( $info['options'] );

			$prefix = isset( $info['prefix'] ) ? $info['prefix'] : $name;

			$val = [];

			foreach ( $options as $value ) {

				if ( $user->getOption( "$prefix$value" ) ) {

					$val[] = $value;

				}

			}

		}

		// Handling for checkmatrix preferences

		if ( ( isset( $info['type'] ) && $info['type'] == 'checkmatrix' ) ||

		// one key per option, each having a boolean value. Extract those keys.

		$multiselectOptions = [];

		foreach ( $prefs as $name => $info ) {

			if ( ( isset( $info['type'] ) && $info['type'] == 'multiselect' ) ||

					( isset( $info['class'] ) && $info['class'] == 'HTMLMultiSelectField' ) ) {

				$opts = HTMLFormField::flattenOptions( $info['options'] );

				$prefix = isset( $info['prefix'] ) ? $info['prefix'] : $name;

				foreach ( $opts as $value ) {

					$multiselectOptions["$prefix$value"] = true;

				}

				unset( $prefs[$name] );

			}

		}

		$checkmatrixOptions = [];

		foreach ( $prefs as $name => $info ) {