#author("2020-11-02T11:22:27+09:00","","")
-$is_delete = empty($text_without_author);
+$is_delete = !strlen($text_without_author);
#author("2020-11-02T11:22:47+09:00","","")



トップ   新規 一覧 検索 最終更新   ヘルプ   最終更新のRSS
Site admin: PukiWiki Development Team

PukiWiki 1.5.4+ © 2001-2022 PukiWiki Development Team. Powered by PHP 5.6.40-0+deb8u12. HTML convert time: 0.037 sec.

OSDN