Skip to content

Instantly share code, notes, and snippets.

@danpoltawski
Created November 29, 2012 09:36
Show Gist options
  • Select an option

  • Save danpoltawski/4167830 to your computer and use it in GitHub Desktop.

Select an option

Save danpoltawski/4167830 to your computer and use it in GitHub Desktop.
diff --git a/admin/index.php b/admin/index.php
index d75e364..5e95598 100644
--- a/admin/index.php
+++ b/admin/index.php
@@ -273,6 +273,10 @@ if ($version > $CFG->version) { // upgrade
die();
}
}
+ if (file_exists("$CFG->dirroot/githash.php")) {
+ echo "Version for bug report: $githash";
+ }
+
echo $output->upgrade_plugin_check_page(plugin_manager::instance(), available_update_checker::instance(),
$version, $showallplugins, $reloadurl,
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment