wikimedia/mediawiki-extensions-InputBox
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/InputBox synced 2024-11-24 07:03:41 +00:00
Code Issues Packages Projects Releases Wiki Activity
Mirror of https://gerrit.wikimedia.org/g/mediawiki/extensions/InputBox
632 commits 283 branches 5 tags 12 MiB
PHP 93.2%
Less 4.7%
JavaScript 2.1%
Go to file
Umherirrender 0c4a639a54 Improve some parameter docs 
Change-Id: Ie97498a57ea7fbc4d6f23043a35c1a78316e8d4e
2017-10-14 15:45:46 +02:00
i18n Localisation updates from https://translatewiki.net. 2017-10-04 22:40:52 +02:00
resources Add stylelint for css files 2017-04-17 22:40:02 +02:00
tests Add tour parameter 2017-09-02 15:51:23 +01:00
.gitignore composer test entry point 2015-11-23 21:35:35 +01:00
.gitreview Whoops, track not trace 2016-10-24 17:02:45 -07:00
.jshintignore Add jshint to npm 2016-03-22 12:39:54 +00:00
.jshintrc Add jshint to npm 2016-03-22 12:39:54 +00:00
.stylelintrc.json Use json extension for .stylelintrc 2017-08-19 09:49:33 +02:00
CODE_OF_CONDUCT.md Add CODE_OF_CONDUCT.md 2017-06-07 14:01:32 +04:30
composer.json build: Updating mediawiki/mediawiki-codesniffer to 13.0.0 2017-09-24 05:27:33 +00:00
COPYING Provide missing COPYING file 2016-03-10 14:58:24 +01:00
extension.json Prefer descriptionmsg over description in extension.json 2017-01-27 20:19:58 +01:00
Gruntfile.js Use json extension for .stylelintrc 2017-08-19 09:49:33 +02:00
InputBox.classes.php Improve some parameter docs 2017-10-14 15:45:46 +02:00
InputBox.hooks.php Improve some parameter docs 2017-10-14 15:45:46 +02:00
InputBox.php Convert InputBox.php to extension.json for extension registration 2015-05-04 13:25:16 -07:00
package.json Define npm peer dependency explicitly 2017-07-31 13:01:20 +02:00
phpcs.xml Improve some parameter docs 2017-10-14 15:45:46 +02:00