I'm sorry, there is no such page as [ -n "$DHCP_SERVER"?.
No other page links to [ -n "$DHCP_SERVER" yet.