mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/InputBox
synced 2024-11-28 00:50:02 +00:00
9d4a98e655
The following sniffs are failing and were disabled: * MediaWiki.Commenting.PropertyDocumentation.MissingDocumentationPrivate * MediaWiki.Commenting.PropertyDocumentation.WrongStyle Additional changes: * Dropped .inc files from .phpcs.xml (T200956). * Added the `wikimedia/mediawiki` profile in .eslintrc.json (T262222). Change-Id: Ic7e903cc97b3766fcff467b382caf2a5a6bc5089 |
||
---|---|---|
.. | ||
InputBox.php | ||
InputBoxHooks.php |