added wgReadOnly.php