menu_rebuild() sometimes produces
WD php: Notice: Undefined index: module in _menu_router_build() [notice]
(line 3194 of
The empty string default is filled in afterwards, no attempt is made to set it before then, so we just need to move it a bit earlier. I'm not sure what specifically causes this bug to occur, but it's a trivial fix.