ざっと調べてみましたが、既出ならすみません。
別に新機能ってわけでもなく、単なる疑問と提案です。(カテゴリこれでいいんですかね?)
///////////////////////////////////////////////// // リスト構造の左マージン $_ul_left_margin = 0; // リストと画面左端との間隔(px) $_ul_margin = 16; // リストの階層間の間隔(px) $_ol_left_margin = 0; // リストと画面左端との間隔(px) $_ol_margin = 16; // リストの階層間の間隔(px) $_dl_left_margin = 0; // リストと画面左端との間隔(px) $_dl_margin = 16; // リストの階層間の間隔(px) $_list_pad_str = ' class="list%d" style="padding-left:%dpx;margin-left:%dpx"';
return preg_replace('/<ul[^>]*>/', '<ul>', convert_html($menutext));
// Modify ogirinal text with user-defined / system-defined rules
使用者側で簡単に変更できるので特に重要な事項ではありませんが、個人的にものすごく気になるところです。
return preg_replace('/<ul[^>]*>/', '<ul>', convert_html($menutext));