2010-08-19 - production
22:39 <tfinc> synchronized php-1.5/wmf-config/CommonSettings.php 'fixing case on banner bnames' [production]