[js/index.php] Check for readability before opening the git HEAD log --

Fixes #5288 -- Thanks Krinkle
jquery-archive · Nov 15, 2012 · 982d7fa · 982d7fa
1 parent 756a081
commit 982d7fa
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/js/index.php b/js/index.php
@@ -62,7 +62,8 @@
 );
 
 function getCommitId() {
-	$logs = file_get_contents( "../.git/logs/HEAD" );
+	$gitHeadPath = "../.git/logs/HEAD";
+	$logs = ( is_readable( $gitHeadPath ) ? file_get_contents( $gitHeadPath ) : false );
 	if ( $logs ) {
 		$logs = explode( "\n", $logs );
 		$n_logs = count( $logs );