wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-09-23 18:28:51 +00:00
Code Issues Packages Projects Releases Wiki Activity

Use ResourceLoaderModule::safeFilemtime instead of using filemtime directly

Browse source 
Change-Id: Ic3a3a23e31b57b1508757ee6a1b0888b4e5f6cce
This commit is contained in:
Aaron Schulz 2015-03-31 10:08:22 -07:00 committed by Ori.livneh
parent 84cb0cac7b
commit e64c3bfd1d
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
VisualEditorDataModule.php
View file

@ -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__ )
);
}