| Index: trunk/extensions/Configure/manage.php |
| — | — | @@ -10,7 +10,7 @@ |
| 11 | 11 | */ |
| 12 | 12 | |
| 13 | 13 | $optionsWithArgs = array( 'revert', 'delete' ); |
| 14 | | -//define( 'EXT_CONFIGURE_NO_EXTRACT', true ); |
| | 14 | +define( 'EXT_CONFIGURE_NO_EXTRACT', true ); |
| 15 | 15 | |
| 16 | 16 | $dir = dirname( __FILE__ ); |
| 17 | 17 | $IP = "$dir/../.."; |