1<?php 2/** 3 * Plugin Icons: Glyphicons helper 4 * 5 * @license GPL 2 (http://www.gnu.org/licenses/gpl.html) 6 * @author Giuseppe Di Terlizzi <giuseppe.diterlizzi@gmail.com> 7 * @copyright (C) 2015-2018, Giuseppe Di Terlizzi 8 */ 9 10// must be run within Dokuwiki 11if(!defined('DOKU_INC')) die(); 12 13require_once(dirname(__FILE__).'/icon.php'); 14 15class syntax_plugin_icons_glyphicon extends syntax_plugin_icons_icon { 16 17 const IS_ICON = false; 18 const IS_FONT_ICON = true; 19 20 protected $pattern = '{{glyphicon>.+?}}'; 21 22} 23