HomePhabricator

Allow numeric headers in Sidebar

Description

Allow numeric headers in Sidebar

A numeric string set as key of an array gets casted to an integer. Since
I458c0af3114754ddf3d721f6c374e249f482e4cf wfMessage does not except
integer as message key, therefore cast the boxname back to string.

Bug: T73639
Change-Id: I8f75243abbdb67d70f54fedb3ebd266e6ced05e3