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

Replace deprecated OOUI 'find' icon with 'articleSearch' of 'content' pack

Browse source 
Depends-on: I41c3d5502ff58f72bf7441811eaf17702468469b
Bug: T183645
Change-Id: I0535b667084771ecff3a4c0e14616fc9ee586895
This commit is contained in:
Volker E 2018-04-02 14:25:43 -07:00
parent d734e5f1d0
commit 75d8b4c112
2 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
extension.json
View file

@ -59,6 +59,7 @@
"mediawiki.cookie",
"jquery.textSelection",
"oojs-ui-windows",
"oojs-ui.styles.icons-content",
"oojs-ui.styles.icons-editing-advanced",
"oojs-ui.styles.icons-editing-list",
"ext.codeEditor.icons"

2
modules/jquery.codeEditor.js
View file

@ -280,7 +280,7 @@
toggleSearchReplace: {
labelMsg: 'codeeditor-searchReplace-toggle',
type: 'button',
oouiIcon: 'find',
oouiIcon: 'articleSearch',
action: {
type: 'callback',
execute: toggleSearchReplace