Router: extension
is probably also a keyword
#3507
Merged
extension
is probably also a keyword
#3507