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. |