Join GitHub today
Stop loading tools that require a newer galaxy #4382
We look at a tools profile attribute, and if it is too new we will not load the tool. This is a first step towards #2086
We should also warn admins prominently that these tools will not load into the tool panel when installing from the tool shed (which is the harder part ...).