jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/394768 )
Change subject: Rename CodeMirror.hooks.php to CodeMirrorHooks.php
......................................................................
Rename CodeMirror.hooks.php to CodeMirrorHooks.php
This avoids the MediaWiki.Files.ClassMatchesFilename.NotMatch exception
in .phpcs.xml.
Change-Id: I599016f4754f24b16394bdf1ba45bb20862fcd2a
---
M .phpcs.xml
R CodeMirrorHooks.php
M extension.json
3 files changed, 1 insertion(+), 2 deletions(-)
Approvals:
Umherirrender: Looks good to me, approved
jenkins-bot: Verified
diff --git a/.phpcs.xml b/.phpcs.xml
index d8ec4f6..3553f4e 100644
--- a/.phpcs.xml
+++ b/.phpcs.xml
@@ -2,7 +2,6 @@
<ruleset>
<rule ref="./vendor/mediawiki/mediawiki-codesniffer/MediaWiki">
<exclude
name="MediaWiki.Commenting.FunctionComment.MissingParamComment"/>
- <exclude name="MediaWiki.Files.ClassMatchesFilename.NotMatch" />
</rule>
<file>.</file>
<arg name="extensions" value="php,php5,inc"/>
diff --git a/CodeMirror.hooks.php b/CodeMirrorHooks.php
similarity index 100%
rename from CodeMirror.hooks.php
rename to CodeMirrorHooks.php
diff --git a/extension.json b/extension.json
index 3456b07..58cf74c 100644
--- a/extension.json
+++ b/extension.json
@@ -18,7 +18,7 @@
]
},
"AutoloadClasses": {
- "CodeMirrorHooks": "CodeMirror.hooks.php",
+ "CodeMirrorHooks": "CodeMirrorHooks.php",
"ResourceLoaderCodeMirrorModule":
"ResourceLoaderCodeMirrorModule.php"
},
"ResourceModules": {
--
To view, visit https://gerrit.wikimedia.org/r/394768
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I599016f4754f24b16394bdf1ba45bb20862fcd2a
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/CodeMirror
Gerrit-Branch: master
Gerrit-Owner: Fomafix <foma...@googlemail.com>
Gerrit-Reviewer: Umherirrender <umherirrender_de...@web.de>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
