4
There's no file to edit. The information is stored in the database. What I posted is a MySQL database query that updates the information.
To perform the query, you would need to use
phpMyAdmin or the equivalent. This may be already provided by your web hosting service.
But don't attempt to modify the database in this manner unless you know what you're doing.