e1fee95368
As explained on https://www.dokuwiki.org/devel:javascript#using_ids IDs may not clash with headlines. To avoid that all IDs have to use two subsequent underscores.
14 lines
699 B
PHP
Executable file
14 lines
699 B
PHP
Executable file
<?php
|
|
if (!defined('DOKU_INC')) die();
|
|
?>
|
|
|
|
<div id="spr__magic-matcher" class="magic-matcher no-print">
|
|
<div class="container">
|
|
<?php
|
|
echo "<h6 class=\"sr-only\" role=\"heading\" aria-level=\"2\">".tpl_getLang('head_magic_matcher')."</h6>";
|
|
echo PHP_EOL;
|
|
echo $matcher;
|
|
echo PHP_EOL;
|
|
?>
|
|
</div><!-- .container -->
|
|
</div><!-- .magic-matcher -->
|