For #6210: Graying out "Update" for "dev" extensions

Extensions that are in the dev folder can't be updated automatically any more (the "Update" button is grayed out).

This fixes #6210 @peterflynn
German translation @couzteau

Please test this, I couldn't test this as I've got no own extension to test with.