1<?php 2 3// for the configuration manager 4$lang['patchlist'] = 'Stored patch URLs (one per line)'; 5