mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor
synced 2024-12-01 11:27:26 +00:00
25 lines
1.2 KiB
HTML
25 lines
1.2 KiB
HTML
|
<div id="wikieditor-toolbar-replace-message">
|
||
|
<div id="wikieditor-toolbar-replace-nomatch" rel="wikieditor-toolbar-tool-replace-nomatch"></div>
|
||
|
<div id="wikieditor-toolbar-replace-success"></div>
|
||
|
<div id="wikieditor-toolbar-replace-emptysearch" rel="wikieditor-toolbar-tool-replace-emptysearch"></div>
|
||
|
<div id="wikieditor-toolbar-replace-invalidregex"></div>
|
||
|
</div>
|
||
|
<fieldset>
|
||
|
<div class="wikieditor-toolbar-field-wrapper">
|
||
|
<label for="wikieditor-toolbar-replace-search" rel="wikieditor-toolbar-tool-replace-search"></label>
|
||
|
<input type="text" id="wikieditor-toolbar-replace-search"/>
|
||
|
</div>
|
||
|
<div class="wikieditor-toolbar-field-wrapper">
|
||
|
<label for="wikieditor-toolbar-replace-replace" rel="wikieditor-toolbar-tool-replace-replace"></label>
|
||
|
<input type="text" id="wikieditor-toolbar-replace-replace"/>
|
||
|
</div>
|
||
|
<div class="wikieditor-toolbar-field-wrapper">
|
||
|
<input type="checkbox" id="wikieditor-toolbar-replace-case"/>
|
||
|
<label for="wikieditor-toolbar-replace-case" rel="wikieditor-toolbar-tool-replace-case"></label>
|
||
|
</div>
|
||
|
<div class="wikieditor-toolbar-field-wrapper">
|
||
|
<input type="checkbox" id="wikieditor-toolbar-replace-regex"/>
|
||
|
<label for="wikieditor-toolbar-replace-regex" rel="wikieditor-toolbar-tool-replace-regex"></label>
|
||
|
</div>
|
||
|
</fieldset>
|