wikimedia / mediawiki

			$cont = explode( '|', $this->params['continue'] );

			switch ( count( $cont ) ) {

				case 8:

					// redirect page ID for result adding

					$this->cont[7] = (int)$cont[7];

					$this->dieContinueUsageIf( $cont[7] !== (string)$this->cont[7] );

					/* Fall through */

					/* Fall through */

				case 7:

					// top-level page ID for result adding

					$this->cont[6] = (int)$cont[6];

					$this->dieContinueUsageIf( $cont[6] !== (string)$this->cont[6] );

					/* Fall through */