Officialiser extension du filtre |plus

Le filtre |plus est documenté comme "arithmétique" et PHPdocumenté comme acceptant 2 arguments de type int.

La fonction plus n'est toutefois pas typée, ce qui permet de lui passer autre chose que des entiers, des tableaux par exemple ; auquel cas il réalise le merge de ses arguments.

C'est ce que fait par exemple une branche du plugin favicon dans ce code :

#SET{manifest, #ARRAY{
	name, #CONFIG{favmanifest/name, #NOM_SITE_SPIP},
}}
[(#CONFIG{favmanifest/short_name}|oui)
	#SET{manifest, #GET{manifest}|plus{#ARRAY{short_name, #CONFIG{favmanifest/short_name}}}}

Peut on officialiser cette possibilité, la PHPDocumenter et la documenter ?