From f6d65e533c62f6deb21342d4901ece24497b433e Mon Sep 17 00:00:00 2001 From: Pierre Schmitz Date: Thu, 4 Jun 2015 07:31:04 +0200 Subject: Update to MediaWiki 1.25.1 --- .../ResourceLoaderFilePageModule.php | 37 ---------------------- 1 file changed, 37 deletions(-) delete mode 100644 includes/resourceloader/ResourceLoaderFilePageModule.php (limited to 'includes/resourceloader/ResourceLoaderFilePageModule.php') diff --git a/includes/resourceloader/ResourceLoaderFilePageModule.php b/includes/resourceloader/ResourceLoaderFilePageModule.php deleted file mode 100644 index 8c7fbe76..00000000 --- a/includes/resourceloader/ResourceLoaderFilePageModule.php +++ /dev/null @@ -1,37 +0,0 @@ - array( 'type' => 'style' ), - ); - } -} -- cgit v1.2.2