説明
string timer_stop( [ int $display = 0 [ , int $precision = 3 ] ] )
タイマー開始時からの経過時間を取得する。
パラメータ
- $display表示する場合は1、表示しない場合は0を指定（省略時は0）。
- $precision小数点以下の桁数を指定（省略時は3）。
返り値
タイマー開始時からの経過時間（秒.マイクロ秒）の文字列を返す（パラメータ$displayが1の場合でも経過時間を返す）。使用例
- 経過時間を取得する。<?php $tic = timer_stop(); ?>
- 経過時間を表示する。<?php timer_stop( 1 ); ?>
- 経過時間を小数点以下1桁で取得する。<?php $tic = timer_stop( 0, 1 ); ?>
フィルター
直接実行するフィルターはありません。アクション
直接実行するアクションはありません。ソースファイル
/wp-includes/load.php最終更新 : 2021年07月23日 16:48
関連
お勧め
query_posts（WP_Queryクラス）でカテゴリーを絞り込む（2011年9月14日 更新）
久しぶりに query_posts関数を見直してみると、見知らぬパラメータがいくつか追加されていた。気になったのでカテゴリー関係の指定を'tax_query'パラメータを交えて整理してみた。「順序」をtextからnumberに変更してみた（2018年5月27日 更新）
固定ページの編集画面の「投稿の属性」ウィジェットには、ページの並び替えに使用できる「順序」のinput要素がある。この「順序」のinput要素はtype属性が'text'となっており、編集の際にIMEが有効になってしまう場合がある。ページの編集頻度が多くなると、その都度IMEをオフにするのがやや面倒になってくる。
投稿内容のid属性などを保存するための対策（2012年6月15日 更新）
WordPress 3.4にアップデートしたとある環境で投稿記事を保存すると、divタグなどのid属性がクリアされて保存するようになった（id属性が保存できなくなった）。ここでは、その対策方法の1つを紹介しておく。oEmbedについて考えてみた（2018年5月27日 更新）
本サイト向けにテーマをリニューアルしようと思い一から作っている最中、ふと生成されているHTMLの中にあるoEmbedの記述が目についた。「この記述いつからだっけ」くらいに思いながらリンク先を開き、ちょっとモヤモヤしてしまった。
Google Mapsブロックを作る過程で悩んだ件（2022年8月23日 更新）
自分なりのGoogle Mapsブロックを作るべく、カスタムHTMLブロックをベースにいくつかのパラメータ要素をサイドバーに追加していく。Google Maps用のAPIキーについてはオプションデータ（wp_optionsテーブル）に格納して利用していこうと思ったのだが、その方法がさっぱりわからなかった。