[MediaWiki-commits] [Gerrit] Replace deprecated 'jquery.mwExtension' by 'mediawiki.RegExp' - change (mediawiki...WikiEditor)

2015-06-26 Thread Gerrit Patch Uploader (Code Review)
Gerrit Patch Uploader has uploaded a new change for review. https://gerrit.wikimedia.org/r/221074 Change subject: Replace deprecated 'jquery.mwExtension' by 'mediawiki.RegExp' .. Replace deprecated 'jquery.mwExtension' by

[MediaWiki-commits] [Gerrit] Replace deprecated 'jquery.mwExtension' by 'mediawiki.RegExp' - change (mediawiki...WikiEditor)

2015-06-26 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Replace deprecated 'jquery.mwExtension' by 'mediawiki.RegExp' .. Replace deprecated 'jquery.mwExtension' by 'mediawiki.RegExp' Replace $.escapeRE from