wikimedia / mediawiki

		// Check edit token on submission

		$request = $this->getRequest();

		$token = $request->getVal( 'wpEditToken' );

		if ( $this->submitClicked && !$this->getUser()->matchEditToken( $token ) ) {

			$this->getOutput()->addWikiMsg( 'sessionfailure' );

			return false;

		}

		// Evaluate incoming request data

		$tagList = $request->getArray( 'wpTagList' );

	protected function submit() {

		# Check edit token on submission

		$token = $this->getRequest()->getVal( 'wpEditToken' );

		if ( $this->submitClicked && !$this->getUser()->matchEditToken( $token ) ) {

			$this->getOutput()->addWikiMsg( 'sessionfailure' );

			return false;

		}

		$bitParams = $this->extractBitParams();

		// from dropdown

		$listReason = $this->getRequest()->getText( 'wpRevDeleteReasonList', 'other' );