jenkins-bot has submitted this change and it was merged.
Change subject: Add missing / in filenames
......................................................................
Add missing / in filenames
(Argh)
Change-Id: I02c25b21d8a939f9267bb9b726f608f7afe38be1
---
M includes/modules/MFResourceLoaderModule.php
1 file changed, 2 insertions(+), 2 deletions(-)
Approvals:
Jdlrobson: Looks good to me, approved
jenkins-bot: Verified
diff --git a/includes/modules/MFResourceLoaderModule.php
b/includes/modules/MFResourceLoaderModule.php
index de118ed..5961827 100644
--- a/includes/modules/MFResourceLoaderModule.php
+++ b/includes/modules/MFResourceLoaderModule.php
@@ -147,8 +147,8 @@
*/
public function getModifiedTime( ResourceLoaderContext $context ) {
return max(
- filemtime( dirname( dirname( __DIR__ ) ) .
"MobileFrontend.php" ),
- filemtime( dirname( dirname( __DIR__ ) ) .
"MobileFrontend.i18n.php" )
+ filemtime( dirname( dirname( __DIR__ ) ) .
"/MobileFrontend.php" ),
+ filemtime( dirname( dirname( __DIR__ ) ) .
"/MobileFrontend.i18n.php" )
);
}
}
--
To view, visit https://gerrit.wikimedia.org/r/71714
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I02c25b21d8a939f9267bb9b726f608f7afe38be1
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/extensions/MobileFrontend
Gerrit-Branch: master
Gerrit-Owner: MaxSem <[email protected]>
Gerrit-Reviewer: Jdlrobson <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
