Move WRITEOSIDMENU() into osiddefs.php3 file for inclusion into other
files. Then use it in the newosid page to allow setting of the nextosid field (by admin people only). This will make it a tiny tiny bit easier to set up new testbeds.
Showing with 80 additions and 44 deletions