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:59:49 +0000 (21:59 +0000)
commit25d84b8da85e963a3126d0e996c1ce1aa14581b2
tree700f0e1f048baa5e815b42edb2d64df6bfb1342e
parentf43faf8791d89733523780270ea309b056aa8426
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
(cherry picked from commit 3aa0b0567ff64ecb74df7534c8812c78c323df7c)
includes/WebStart.php