timer_stop

説明

string timer_stop( [ int $display = 0 [ , int $precision = 3 ] ] )
タイマー開始時からの経過時間を取得する。

パラメータ

  • $display
    表示する場合は1、表示しない場合は0を指定(省略時は0)。
  • $precision
    小数点以下の桁数を指定(省略時は3)。

返り値

タイマー開始時からの経過時間(秒.マイクロ秒)の文字列を返す(パラメータ$displayが1の場合でも経過時間を返す)。

注意

timer_start関数の呼び出しからの経過時間となる。本関数の呼び出しでタイマーが止まることはなく、何度も呼び出すことができる。

使用例

  • 経過時間を取得する。
    <?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テーブル)に格納して利用していこうと思ったのだが、その方法がさっぱりわからなかった。