wikimedia/mediawiki-extensions-CodeEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor synced 2024-11-30 09:54:19 +00:00
Code Issues Packages Projects Releases Wiki Activity

Update moved class EditPage

Browse source 
See T321882. Moved in Ibefc44eb64aed

Bug: T321681
Change-Id: I5a66b76658c3eb19f2afe5b9a8ce4748767e6c2d
This commit is contained in:
gerritbot 2023-05-06 21:19:29 +00:00
parent 83ec48d13f
commit 417ce7bebf
2 changed files with 24 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

30
extension.json
View file

@ -10,7 +10,7 @@
"license-name": "GPL-2.0-or-later AND BSD-3-Clause", "license-name": "GPL-2.0-or-later AND BSD-3-Clause",
"type": "editor", "type": "editor",
"requires": { "requires": {
"MediaWiki": ">= 1.35.0", "MediaWiki": ">= 1.40.0",
"extensions": { "extensions": {
"WikiEditor": ">= 0.5.2" "WikiEditor": ">= 0.5.2"
} }
@ -39,7 +39,10 @@
}, },
"ResourceModules": { "ResourceModules": {
"ext.codeEditor": { "ext.codeEditor": {
"targets": [ "desktop", "mobile" ], "targets": [
"desktop",
"mobile"
],
"scripts": "ext.codeEditor.js", "scripts": "ext.codeEditor.js",
"dependencies": [ "dependencies": [
"jquery.codeEditor" "jquery.codeEditor"
@ -47,7 +50,10 @@
"group": "ext.wikiEditor" "group": "ext.wikiEditor"
}, },
"jquery.codeEditor": { "jquery.codeEditor": {
"targets": [ "desktop", "mobile" ], "targets": [
"desktop",
"mobile"
],
"scripts": "jquery.codeEditor.js", "scripts": "jquery.codeEditor.js",
"styles": "jquery.codeEditor.less", "styles": "jquery.codeEditor.less",
"dependencies": [ "dependencies": [
@ -95,16 +101,23 @@
}, },
"pilcrow": { "pilcrow": {
"file": "images/pilcrow.svg", "file": "images/pilcrow.svg",
"variants": [ "progressive" ] "variants": [
"progressive"
]
}, },
"wrapping": { "wrapping": {
"file": "images/wrapping.svg", "file": "images/wrapping.svg",
"variants": [ "progressive" ] "variants": [
"progressive"
]
} }
} }
}, },
"ext.codeEditor.ace": { "ext.codeEditor.ace": {
"targets": [ "desktop", "mobile" ], "targets": [
"desktop",
"mobile"
],
"group": "ext.codeEditor.ace", "group": "ext.codeEditor.ace",
"scripts": [ "scripts": [
"ace/ace.js", "ace/ace.js",
@ -120,7 +133,10 @@
] ]
}, },
"ext.codeEditor.ace.modes": { "ext.codeEditor.ace.modes": {
"targets": [ "desktop", "mobile" ], "targets": [
"desktop",
"mobile"
],
"group": "ext.codeEditor.ace", "group": "ext.codeEditor.ace",
"scripts": [ "scripts": [
"ace/mode-c_cpp.js", "ace/mode-c_cpp.js",

2
includes/Hooks.php
View file

@ -2,9 +2,9 @@
namespace MediaWiki\Extension\CodeEditor; namespace MediaWiki\Extension\CodeEditor;
use EditPage;
use ErrorPageError; use ErrorPageError;
use ExtensionRegistry; use ExtensionRegistry;
use MediaWiki\EditPage\EditPage;
use MediaWiki\Hook\EditPage__showEditForm_initialHook; use MediaWiki\Hook\EditPage__showEditForm_initialHook;
use MediaWiki\Hook\EditPage__showReadOnlyForm_initialHook; use MediaWiki\Hook\EditPage__showReadOnlyForm_initialHook;
use MediaWiki\HookContainer\HookContainer; use MediaWiki\HookContainer\HookContainer;