2018年04月14日
ファイルサイズを取得する
$filename = "myfile.txt";
$size = filesize($filename);
ファイル名やパスを間違えることが多いので、要注意。
【このカテゴリーの最新記事】
-
no image
-
no image
-
no image
-
no image
この記事へのコメント
コメントを書く
データベースエンジニアが行く
- 「わからないことだらけの忘備録」兼「経営記録」 -このページはアフィリエイト広告を利用しています。このページにはプロモーションが含まれています。
$filename = "myfile.txt";
$size = filesize($filename);
ファイル名やパスを間違えることが多いので、要注意。
検索
最新記事
(12/19)ファンブログサービスがなくなる。
(11/12)XMLHttpRequest：GetとPostの違い
(10/26)uncaught reference error: $ is not defined
(10/08)DB Error: extension not found (53)
(10/01)カレントディレクトリを調べる
(09/02)ファイル名の後の余分な / (スラッシュ)
(05/29)TCPDF: multicellで行間指定
(11/12)XMLHttpRequest：GetとPostの違い
(10/26)uncaught reference error: $ is not defined
(10/08)DB Error: extension not found (53)
(10/01)カレントディレクトリを調べる
(09/02)ファイル名の後の余分な / (スラッシュ)
(05/29)TCPDF: multicellで行間指定
カテゴリーアーカイブ
Access、Excel(53)
Docker(5)
小技(34)
Mysql(64)
Linux(40)
経営(13)
HTML、CSS(34)
日々のこと(103)
Google(12)
PHP(121)
Git(32)
Javascript(18)
PostgreSQL(13)
ブラウザ(19)
ファイルメーカープロ(45)
Mac(33)
システム開発・運用(57)
アフィリエイト(8)
私製 - IT用語辞典(1)
Vue.js(5)
Docker(5)
小技(34)
Mysql(64)
Linux(40)
経営(13)
HTML、CSS(34)
日々のこと(103)
Google(12)
PHP(121)
Git(32)
Javascript(18)
PostgreSQL(13)
ブラウザ(19)
ファイルメーカープロ(45)
Mac(33)
システム開発・運用(57)
アフィリエイト(8)
私製 - IT用語辞典(1)
Vue.js(5)
プロフィール
db-engineer
タグクラウド
月別アーカイブ
