2010-07-22 - production
17:11 <catrope> synchronized php-1.5/wmf-config/CommonSettings.php 'Hide Navigable TOC preference' [production]