wikimedia / mediawiki

				$k = substr( $k, 0, -1 );

				$temp = [ $k => $temp ];

			}

			if ( isset( $ret[$key] ) ) {

				$ret[$key] = array_merge( $ret[$key], $temp );

			} else {

				$ret[$key] = $temp;

			}

		} else {

			$ret[$key] = $value;

		}

		$map = [];

		foreach ( $bags as $bag ) {

			foreach ( $bag->attrMap as $attr => $rank ) {

				if ( isset( $map[$attr] ) ) {

					$map[$attr] = min( $map[$attr], $rank );

				} else {

					$map[$attr] = $rank;

				}

			}

		}