diff options
| author | umherirrender <umherirrender_de.wp@web.de> | 2013-04-13 13:36:24 +0200 |
|---|---|---|
| committer | umherirrender <umherirrender_de.wp@web.de> | 2013-04-13 13:36:24 +0200 |
| commit | 15abcf71ca7ec185b475e47ef0fe43884e764239 (patch) | |
| tree | 7791eaf66b73bffa30de7b66b429fc045cbb0a55 /includes/UIDGenerator.php | |
| parent | d48005a696838e11ae8e6f2696f72c55c995224f (diff) | |
| download | mediawikicore-15abcf71ca7ec185b475e47ef0fe43884e764239.tar.gz mediawikicore-15abcf71ca7ec185b475e47ef0fe43884e764239.zip | |
Added/Removed spaces around string concatenation
And added/removed spaces around some other tokens,
like +, -, *, /, <, >, =, !
Fixed windows newline style
Change-Id: I0b9c8c408f3f6bfc0d685a074d7ec468fb848fc8
Diffstat (limited to 'includes/UIDGenerator.php')
| -rw-r--r-- | includes/UIDGenerator.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/includes/UIDGenerator.php b/includes/UIDGenerator.php index b042d8c7181c..6219b3dc8e3b 100644 --- a/includes/UIDGenerator.php +++ b/includes/UIDGenerator.php @@ -304,7 +304,7 @@ class UIDGenerator { if ( $ct >= $time ) { // http://php.net/manual/en/language.operators.comparison.php return $ct; // current timestamp is higher than $time } - } while ( ( ( $time[0] - $ct[0] )*1000 + ( $time[1] - $ct[1] ) ) <= 10 ); + } while ( ( ( $time[0] - $ct[0] ) * 1000 + ( $time[1] - $ct[1] ) ) <= 10 ); return false; } |