wikimedia / mediawiki

		$from = str_replace( '_', ' ', $fromP );

		// User name given should match up with the top revision.

		// If the user was deleted then $from should be empty.

		if ( $from != $current->getUserText() ) {

			$resultDetails = [ 'current' => $current ];

			return [ [ 'alreadyrolled',

				htmlspecialchars( $this->mTitle->getPrefixedText() ),

				htmlspecialchars( $fromP ),

				htmlspecialchars( $current->getUserText() )

			] ];

		}

		// Get the last edit not by this person...

		// Note: these may not be public values

		$statusRev = isset( $status->value['revision'] )

			? $status->value['revision']

			: null;

		if ( !( $statusRev instanceof Revision ) ) {

			$resultDetails = [ 'current' => $current ];

			return [ [ 'alreadyrolled',

					htmlspecialchars( $this->mTitle->getPrefixedText() ),

					htmlspecialchars( $fromP ),

					htmlspecialchars( $current->getUserText() )

			] ];

		}

		$revId = $statusRev->getId();