Devbox: fix $wgAllInOne handling