wikimedia/mediawiki-extensions-CodeMirror
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror synced 2024-11-23 22:03:28 +00:00
Code Issues Packages Projects Releases Wiki Activity

resources: Manage upstream CodeMirror using ManageForeignResources

Browse source 
Depends-On: Ica6a80d6eb127cc10a00d3d6d0890ad724762ff2
Change-Id: I15721ef93c270a5a2f9194d678cd6876e14c7ea6
This commit is contained in:
James D. Forrester 2023-09-20 23:03:01 +01:00
parent e9e6361610
commit 764ff6478d
3 changed files with 24 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
extension.json
View file

@ -155,6 +155,7 @@
"localBasePath": "resources",
"remoteExtPath": "CodeMirror/resources"
},
"ForeignResourcesDir": "resources/lib",
"DefaultUserOptions": {
"usecodemirror": 0
},

2
resources/lib/codemirror/LICENSE
View file

@ -1,6 +1,6 @@
MIT License
Copyright (C) 2017 by Marijn Haverbeke <marijnh@gmail.com> and others
Copyright (C) 2017 by Marijn Haverbeke <marijn@haverbeke.berlin> and others
Permission is hereby granted, free of charge, to any person obtaining a copy
of this software and associated documentation files (the "Software"), to deal

22
resources/lib/foreign-resources.yaml Normal file
View file

@ -0,0 +1,22 @@
codemirror:
license: MIT
homepage: https://github.com/codemirror/codemirror5
authors: CodeMirror authors
version: 5.65.15
type: zip
src: https://codemirror.net/5/codemirror-5.65.15.zip
integrity: sha512-04jTPLBr37QM82YQrCFcjSYeyJGB+AGXPEFN15IArKLZtu92xyQ79Ol31LOB2kH76wnZs4Njzd51+QUhe3JCpw==
dest:
codemirror-*/AUTHORS:
codemirror-*/CHANGELOG.md:
codemirror-*/CONTRIBUTING.md:
codemirror-*/LICENSE:
codemirror-*/README.md:
codemirror-*/lib/codemirror.css: lib/
codemirror-*/lib/codemirror.js: lib/
codemirror-*/mode/clike/clike.js: mode/clike/
codemirror-*/mode/css/css.js: mode/css/
codemirror-*/mode/htmlmixed/htmlmixed.js: mode/htmlmixed/
codemirror-*/mode/javascript/javascript.js: mode/javascript/
codemirror-*/mode/php/php.js: mode/php/
codemirror-*/mode/xml/xml.js: mode/xml/