[ticket/13713] Avoid same attributes for different types of IDs

PHPBB3-13713

phpBB/phpbb/textformatter/s9e/factory.php

@@ -85,8 +85,10 @@ class factory implements \phpbb\textformatter\cache_interface
 		'list'  => '[LIST type={HASHMAP=1:decimal,a:lower-alpha,A:upper-alpha,i:lower-roman,I:upper-roman;optional;postFilter=#simpletext} #createChild=LI]{TEXT}[/LIST]',
 		'li'    => '[* $tagName=LI]{TEXT}[/*]',
 		'mention' =>
-			"[MENTION={PARSE=/^(?<type>[ug]):(?<id>\d+)$/}
+			"[MENTION={PARSE=/^g:(?'group_id'\d+)|u:(?'user_id'\d+)$/}
+				group_id={UINT;optional}
 				profile_url={URL;optional;postFilter=#false}
+				user_id={UINT;optional}
 			]{TEXT}[/MENTION]",
 		'quote' =>
 			"[QUOTE