chdemko / php-bitarray

		$size = $bits1->size + $bits2->size;

		$concat = new BitArray($size);

		for ($i = 0; $i < $bits1->size; $i++)

		{

			$concat[$i] = $bits1[$i];

		}

		for ($i = 0; $i < $bits2->size; $i++)

		{

			$concat[$i] = $bits1[$i];

		}

		for ($i = 0; $i < $bits2->size; $i++)

		{

			$concat[$i + $bits1->size] = $bits2[$i];

		}

		return $concat;

	}