wikimedia /
mediawiki
| @@ 201-209 (lines=9) @@ | ||
| 198 | $lastmod = filemtime( $this->filename ); |
|
| 199 | MediaWiki\restoreWarnings(); |
|
| 200 | if ( $lastmod === false ) { |
|
| 201 | if ( $this->timestamp === false ) { |
|
| 202 | # Still nonexistent |
|
| 203 | return false; |
|
| 204 | } else { |
|
| 205 | # Deleted |
|
| 206 | wfDebug( "Dependency triggered: {$this->filename} deleted.\n" ); |
|
| 207 | ||
| 208 | return true; |
|
| 209 | } |
|
| 210 | } else { |
|
| 211 | if ( $lastmod > $this->timestamp ) { |
|
| 212 | # Modified or created |
|
| @@ 210-220 (lines=11) @@ | ||
| 207 | ||
| 208 | return true; |
|
| 209 | } |
|
| 210 | } else { |
|
| 211 | if ( $lastmod > $this->timestamp ) { |
|
| 212 | # Modified or created |
|
| 213 | wfDebug( "Dependency triggered: {$this->filename} changed.\n" ); |
|
| 214 | ||
| 215 | return true; |
|
| 216 | } else { |
|
| 217 | # Not modified |
|
| 218 | return false; |
|
| 219 | } |
|
| 220 | } |
|
| 221 | } |
|
| 222 | } |
|
| 223 | ||
