mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor
synced 2024-11-30 19:15:43 +00:00
f501cdc9c6
Bug: T24478 Change-Id: Idb47ac392b0f8b1425053c6916db8f25c11c9762
29 lines
1.5 KiB
HTML
29 lines
1.5 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-word"/>
|
|
<label for="wikieditor-toolbar-replace-word" rel="wikieditor-toolbar-tool-replace-word"></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>
|