wikimedia/mediawiki-extensions-RelatedArticles
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/RelatedArticles synced 2024-11-28 02:00:17 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Rename file ResourceLoaderMuhoganModule.php to match class"

Browse source
This commit is contained in:
jenkins-bot 2017-12-11 09:24:32 +00:00 committed by Gerrit Code Review
parent 503b642a02 72bf976e12
commit 077152bba7
3 changed files with 2 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
.phpcs.xml
View file

@ -1,8 +1,6 @@
<?xml version="1.0"?>
<ruleset>
<rule ref="./vendor/mediawiki/mediawiki-codesniffer/MediaWiki">
<exclude name="MediaWiki.Files.ClassMatchesFilename.WrongCase" />
</rule>
<rule ref="./vendor/mediawiki/mediawiki-codesniffer/MediaWiki" />
<file>.</file>
<arg name="extensions" value="php,php5,inc" />
<arg name="encoding" value="UTF-8" />

2
extension.json
View file

@ -12,7 +12,7 @@
"license-name": "GPL-2.0",
"type": "betafeatures",
"AutoloadClasses": {
"RelatedArticles\\ResourceLoaderMuHoganModule": "includes/ResourceLoaderMuhoganModule.php",
"RelatedArticles\\ResourceLoaderMuHoganModule": "includes/ResourceLoaderMuHoganModule.php",
"RelatedArticles\\Hooks": "includes/Hooks.php"
},
"ExtensionMessagesFiles": {

0
includes/ResourceLoaderMuhoganModule.php → includes/ResourceLoaderMuHoganModule.php
View file