how do you reload ini.inc.php? I want to change the number of records that are shown. How does one reload this if they want a different configuration?
Talk to your server admin. It should be reloaded instantly. If it is not, you may have a PHP cache on your system & it might not be noticing your modifications.