define('DISALLOW_FILE_EDIT', true); define('DISALLOW_FILE_MODS', true); Public library of 10,000 vinyl records opens in South Korea