Fixed bug #14151: Shortcuts broken, if in user or admin tools modules (thanks to...