Last modified: 2013-04-26 23:37:15 UTC
From user report: 'externalLink', { '$$': menu$$, 'label': 'External link' } 'newPage', { '$$': menu$$, 'label': 'New page' } 'matchingPages', { '$$': menu$$, 'label': 'Matching page' }
Fixed by Gerrit change #61035. Thanks for the catch!
In the end fixed by Gerrit change #60700 just to be confusing; now merged and will be deployed in the Monday deploy train.