IDEA additional info:
Subsystem: com.intellij.openapi.diff.impl.patch.CharsetEP
<+>UTF-8
|
|
|
671 | 671 | $modified_times = array_merge( $modified_times, $comment_times ); |
672 | 672 | } |
673 | 673 | |
674 | | // Determine the maximum modified time. |
675 | | $max_modified_time = max( |
676 | | array_map( |
677 | | function ( $time ) use ( $format ) { |
678 | | return mysql2date( $format, $time, false ); |
679 | | }, |
680 | | $modified_times |
681 | | ) |
682 | | ); |
| 674 | $max_modified_time = mysql2date( $format, max( $modified_times ), false ); |
683 | 675 | |
684 | 676 | /** |
685 | 677 | * Filters the date the last post or comment in the query was modified. |