Here is useful wordpress code snippet to disable file edition in WordPress admin
Just paste the following (or only the needed line) in your wp-config.php file. This file is located at the root of your WordPress install.
define('DISALLOW_FILE_EDIT', true); //Disallow edition of files throught WP editor define('DISALLOW_FILE_MODS',<wbr>true); //Disallow install of upgrades
Thanks to Paulund for this useful code snippet!