From e64c3bfd1d735c50fc33d62d24133644c7c567db Mon Sep 17 00:00:00 2001 From: Aaron Schulz Date: Tue, 31 Mar 2015 10:08:22 -0700 Subject: [PATCH] Use ResourceLoaderModule::safeFilemtime instead of using filemtime directly Change-Id: Ic3a3a23e31b57b1508757ee6a1b0888b4e5f6cce --- VisualEditorDataModule.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/VisualEditorDataModule.php b/VisualEditorDataModule.php index 3cc7c89885..27c4352982 100644 --- a/VisualEditorDataModule.php +++ b/VisualEditorDataModule.php @@ -171,7 +171,7 @@ class VisualEditorDataModule extends ResourceLoaderModule { // Also invalidate this module if this file changes (i.e. when messages were // added or removed, or when the Javascript invocation in getScript is changed). // Use 1 because 0 = now, would invalidate continously - file_exists( __FILE__ ) ? filemtime( __FILE__ ) : 1 + ResourceLoaderModule::safeFilemtime( __FILE__ ) ); }