diff options
| author | Timo Tijhof <krinklemail@gmail.com> | 2018-04-17 22:33:41 +0100 |
|---|---|---|
| committer | Krinkle <krinklemail@gmail.com> | 2018-04-17 21:44:31 +0000 |
| commit | 3aa0b0567ff64ecb74df7534c8812c78c323df7c (patch) | |
| tree | 52749a9f8b500c6508a65ca2f15aa6d1fab9d732 | |
| parent | fc24df34f6921addc6be1c2c0f7b2335bb8c3d46 (diff) | |
| download | mediawikicore-3aa0b0567ff64ecb74df7534c8812c78c323df7c.tar.gz mediawikicore-3aa0b0567ff64ecb74df7534c8812c78c323df7c.zip | |
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
| -rw-r--r-- | includes/WebStart.php | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/includes/WebStart.php b/includes/WebStart.php index c9aecce4e01a..6f3aa71624a7 100644 --- a/includes/WebStart.php +++ b/includes/WebStart.php @@ -41,8 +41,6 @@ header( 'X-Content-Type-Options: nosniff' ); */ $wgRequestTime = $_SERVER['REQUEST_TIME_FLOAT']; -unset( $IP ); - # Valid web server entry point, enable includes. # Please don't move this line to includes/Defines.php. This line essentially # defines a valid entry point. If you put it in includes/Defines.php, then |