Feature summary
So you can ping people in edit summaries by writing "@[[User:Username]]". A warning should be shown when doing one of the following:
- If you write a page in other namespace than User into the square brackets
- If the username you typed doesn't exist
- If you forgot the square brackets
Use case(s) (list the steps that you performed to discover that problem, and describe the actual underlying problem which you want to solve. Do not describe only a solution):
It's relatively easy to for example forget to write "User:" and "ping" mainspace pages
Benefits (why should this be implemented?):
Edit summaries cannot be edited afterwards so that mistake cannot be fixed (ah but see T15937: Changeable (editable) edit summaries)