php 日本時間でファイルの最終更新日時をyyyymmddhhmmで取得

<html>
 <head>
  <title>PHP Test</title>
<meta charset="UTF-8">
 </head>
 <body>
 <?php 

date_default_timezone_set('Asia/Tokyo');
$filename = "hogehoge.txt";
echo "$filename was last modified: " . date ("YmdHi", filemtime($filename));

 ?> 
 </body>
</html>