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

Add missing @param in jquery.wikiEditor.js

Browse source 
Change-Id: Ia6922e71075b9fc24d5b194f02131d42642954e3
This commit is contained in:
Umherirrender 2023-08-10 00:35:04 +02:00
parent 3b3623cb14
commit 3c57553f83
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
modules/jquery.wikiEditor.js
View file

@ -37,6 +37,7 @@
* the autoMsg and autoSafeMsg functions as deprecated.
*
* @param {string} property
* @param {string} key
*/
function deprecateAutoMsg( property, key ) {
var searchParam = mw.config.get( 'wgSearchType' ) === 'CirrusSearch' ?