Code Editor : display_git_revision.lib.php