wikimedia / mediawiki

		// Skin selector, if there is at least one valid skin

		$skinOptions = self::generateSkinOptions( $user, $context );

		if ( $skinOptions ) {

			$defaultPreferences['skin'] = [

				'type' => 'radio',

				'options' => $skinOptions,

				'label' => ' ',

				'section' => 'rendering/skin',

			];

		}

		$config = $context->getConfig();

		$allowUserCss = $config->get( 'AllowUserCss' );

	static function datetimePreferences( $user, IContextSource $context, &$defaultPreferences ) {

		# # Date and time #####################################

		$dateOptions = self::getDateOptions( $context );

		if ( $dateOptions ) {

			$defaultPreferences['date'] = [

				'type' => 'radio',

				'options' => $dateOptions,

				'label' => ' ',

				'section' => 'rendering/dateformat',

			];

		}

		// Info

		$now = wfTimestampNow();