wikimedia / mediawiki

			$options = [ $options ];

		}

		if ( isset( $args[0] ) && is_array( $args[0] ) ) {

			$multi = true;

			$keys = array_keys( $args[0] );

		} else {

			$multi = false;

			$keys = array_keys( $args );

		}

		// If IGNORE is set, we use savepoints to emulate mysql's behavior

		$savepoint = null;

		}

		$profileToDb = false;

		if ( isset( $wgProfiler['output'] ) ) {

			$out = $wgProfiler['output'];

			if ( $out === 'db' ) {

				$profileToDb = true;

			} elseif ( is_array( $out ) && in_array( 'db', $out ) ) {

				$profileToDb = true;

			}

		}

		if ( $profileToDb && !$this->db->tableExists( 'profiling', __METHOD__ ) ) {

			$this->applyPatch( 'patch-profiling.sql', false, 'Add profiling table' );