jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/396630 )
Change subject: Rename file DisableAccount_body.php to match class
......................................................................
Rename file DisableAccount_body.php to match class
Change-Id: I101971c3431e22f0eee89608f9a38bc77a2e8b3c
---
M .phpcs.xml
R SpecialDisableAccount.php
M extension.json
3 files changed, 5 insertions(+), 6 deletions(-)
Approvals:
jenkins-bot: Verified
Thiemo Kreuz (WMDE): Looks good to me, approved
diff --git a/.phpcs.xml b/.phpcs.xml
index 4efdc29..f692320 100644
--- a/.phpcs.xml
+++ b/.phpcs.xml
@@ -3,12 +3,11 @@
<rule ref="./vendor/mediawiki/mediawiki-codesniffer/MediaWiki">
<exclude
name="MediaWiki.Commenting.FunctionComment.MissingDocumentationProtected" />
<exclude
name="MediaWiki.Commenting.FunctionComment.MissingDocumentationPublic" />
- <exclude name="MediaWiki.Files.ClassMatchesFilename.NotMatch" />
- <exclude name="MediaWiki.Files.ClassMatchesFilename.WrongCase"
/>
+ </rule>
+ <rule ref="MediaWiki.Files.ClassMatchesFilename.WrongCase">
+ <exclude-pattern>*/maintenance/*</exclude-pattern>
</rule>
<file>.</file>
<arg name="extensions" value="php,php5,inc" />
- <arg name="encoding" value="utf8" />
- <exclude-pattern>vendor</exclude-pattern>
- <exclude-pattern>node_modules</exclude-pattern>
+ <arg name="encoding" value="UTF-8" />
</ruleset>
diff --git a/DisableAccount_body.php b/SpecialDisableAccount.php
similarity index 100%
rename from DisableAccount_body.php
rename to SpecialDisableAccount.php
diff --git a/extension.json b/extension.json
index fa24b65..e11560e 100644
--- a/extension.json
+++ b/extension.json
@@ -26,7 +26,7 @@
"DisableAccount": "SpecialDisableAccount"
},
"AutoloadClasses": {
- "SpecialDisableAccount": "DisableAccount_body.php",
+ "SpecialDisableAccount": "SpecialDisableAccount.php",
"DisableAccountLogFormatter": "DisableAccountLogFormatter.php"
},
"manifest_version": 1
--
To view, visit https://gerrit.wikimedia.org/r/396630
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I101971c3431e22f0eee89608f9a38bc77a2e8b3c
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/DisableAccount
Gerrit-Branch: master
Gerrit-Owner: Umherirrender <[email protected]>
Gerrit-Reviewer: Thiemo Kreuz (WMDE) <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
