| Index: trunk/extensions/CheckUser/CheckUser.php |
| — | — | @@ -164,7 +164,6 @@ |
| 165 | 165 | # Run install.php |
| 166 | 166 | require( dirname(__FILE__) . '/install.php' ); |
| 167 | 167 | |
| 168 | | - # FIXME: do postgres index changes! |
| 169 | 168 | if ($wgDBtype == 'mysql') { |
| 170 | 169 | $wgExtNewIndexes[] = array('cu_changes', |
| 171 | 170 | 'cuc_user_time', dirname(__FILE__) . '/archives/patch-cu_changes_indexes.sql'); |