diff options
| author | vincent-peugnet <v.peugnet@free.fr> | 2020-02-10 11:42:17 +0100 |
|---|---|---|
| committer | vincent-peugnet <v.peugnet@free.fr> | 2020-02-10 11:42:17 +0100 |
| commit | 4f9a0544218341204bee98d41bcc097dc61f1799 (patch) | |
| tree | e04614acb636d2f73013a31b078df3907b061730 /app/view | |
| parent | cb6f0e8c3f2abe2bf895320a58a466c7a766dbf9 (diff) | |
| download | wcms-4f9a0544218341204bee98d41bcc097dc61f1799.tar.gz wcms-4f9a0544218341204bee98d41bcc097dc61f1799.zip | |
add case sensitivity option in dsb
*deep search bar
Diffstat (limited to 'app/view')
| -rw-r--r-- | app/view/templates/home.php | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/app/view/templates/home.php b/app/view/templates/home.php index 404e96d..68cf965 100644 --- a/app/view/templates/home.php +++ b/app/view/templates/home.php @@ -30,6 +30,8 @@ <label for="deepcontent" title="Markdown content : MAIN, HEADER, NAV, ASIDE, FOOTER">content</label> <input type="checkbox" name="other" id="deepother" value="1" <?= $searchopt['other'] ? 'checked' : '' ?>> <label for="deepother" title="Structure content : BODY, CSS, Javascript">other</label> + <input type="checkbox" name="case" id="deepcase" value="1" <?= $searchopt['casesensitive'] ? 'checked' : '' ?>> + <label for="deepcase" title="Case sensitive or not">case sensitive</label> <input type="submit" value="search"> </form> </div> |