diff options
author | Pierre Schmitz <pierre@archlinux.de> | 2015-12-20 09:00:55 +0100 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2015-12-20 09:00:55 +0100 |
commit | a2190ac74dd4d7080b12bab90e552d7aa81209ef (patch) | |
tree | 8b31f38de9882d18df54cf8d9e0de74167a094eb /vendor/wikimedia/cdb/src/Writer.php | |
parent | 15e69f7b20b6596b9148030acce5b59993b95a45 (diff) | |
parent | 257401d8b2cf661adf36c84b0e3fd1cf85e33c22 (diff) |
Merge branch 'mw-1.26'
Diffstat (limited to 'vendor/wikimedia/cdb/src/Writer.php')
-rw-r--r-- | vendor/wikimedia/cdb/src/Writer.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/vendor/wikimedia/cdb/src/Writer.php b/vendor/wikimedia/cdb/src/Writer.php index b994ec67..53216041 100644 --- a/vendor/wikimedia/cdb/src/Writer.php +++ b/vendor/wikimedia/cdb/src/Writer.php @@ -94,6 +94,6 @@ abstract class Writer { * @return bool */ protected function isWindows() { - return substr( php_uname(), 0, 7 ) == 'Windows'; + return strtoupper( substr( PHP_OS, 0, 3 ) ) === 'WIN'; } } |