wikimedia/mediawiki-extensions-ImageMap
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/ImageMap synced 2024-11-23 22:03:31 +00:00
Code Issues Packages Projects Releases Wiki Activity
Mirror of https://gerrit.wikimedia.org/g/mediawiki/extensions/ImageMap
679 commits 283 branches 5 tags 6.6 MiB
PHP 94.3%
JavaScript 4%
Less 1.7%
Go to file
libraryupgrader f111210899 build: Updating composer dependencies 
* php-parallel-lint/php-console-highlighter: 0.4.0 → 0.5.0
* php-parallel-lint/php-parallel-lint: 1.0.0 → 1.2.0

Additional changes:
* Replaced "jakub-onderka" packages with "php-parallel-lint".

Change-Id: If164118b3a098a0d6dc4f9d3b4d648ddff5cd23b
2020-05-31 05:47:42 +00:00
.phan Upgrade ImageMap extension to use newer phan 2019-03-11 19:46:47 +00:00
i18n Localisation updates from https://translatewiki.net. 2020-05-28 08:39:48 +02:00
includes Merge "Remove unused $id property" 2020-05-22 07:00:11 +00:00
resources Move images in resources directory 2019-03-02 22:06:50 +01:00
tests/parser Update parserTests to v2 (tidy by default) 2020-04-01 20:09:52 +00:00
.eslintrc.json build: Install eslint 2019-05-06 16:18:51 -07:00
.gitignore build: Install eslint 2019-05-06 16:18:51 -07:00
.gitreview Whoops, track not trace 2016-10-24 17:02:44 -07:00
.phpcs.xml Fix PSR12.Properties.ConstantVisibility.NotFound 2020-05-19 23:21:15 +00:00
CODE_OF_CONDUCT.md build: Updating mediawiki/phan-taint-check-plugin to 1.3.0 2018-08-19 13:29:02 +00:00
composer.json build: Updating composer dependencies 2020-05-31 05:47:42 +00:00
COPYING Add COPYING 2014-01-16 02:34:30 +00:00
extension.json Convert to manifest_version 2 2020-05-12 00:02:53 +01:00
Gruntfile.js build: Updating npm dependencies 2020-01-09 15:09:19 +00:00
package-lock.json build: Updating dependencies 2020-04-22 12:35:59 +00:00
package.json build: Updating dependencies 2020-04-22 12:35:59 +00:00