mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor
synced 2024-12-18 19:11:22 +00:00
6602d905ee
Move the HTML for the dialogs to separate template files, using the template mechanism from core. It is still possible to specify the HTML directly as before, to be used in gadgets etc. Change-Id: Ia7ad5aaa9cac429d1c9d706bdf6760e3eda358bc
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>
|