WebStart: Remove redundant unset() for $IP
authorTimo Tijhof <krinklemail@gmail.com>
Tue, 17 Apr 2018 21:33:41 +0000 (22:33 +0100)
committerKrinkle <krinklemail@gmail.com>
Tue, 17 Apr 2018 21:44:31 +0000 (21:44 +0000)
commit3aa0b0567ff64ecb74df7534c8812c78c323df7c
tree52749a9f8b500c6508a65ca2f15aa6d1fab9d732
parentfc24df34f6921addc6be1c2c0f7b2335bb8c3d46
WebStart: Remove redundant unset() for $IP

This seems redundant given it is unconditionally being set
two statements later. Probably a left-over from r36353 (c6b902f180),
which did an unset() because there was another variable called
$preIP, and the original would no longer be needed.

However, we currently only use one variable ($IP) and there's no
need to unset() it before setting.

Bug: T189966
Change-Id: I17d516709beabeb80bd72b37f70ac9b666a501d4
includes/WebStart.php