| Index: trunk/extensions/Configure/findSettings.php |
| — | — | @@ -69,8 +69,6 @@ |
| 70 | 70 | 'wgTitleBlacklist', |
| 71 | 71 | ); |
| 72 | 72 | foreach( $exts as $ext ){ |
| 73 | | - if( !$ext->isInstalled() ) |
| 74 | | - continue; |
| 75 | 73 | $file = file_get_contents( $ext->getFile() ); |
| 76 | 74 | $name = $ext->getName(); |
| 77 | 75 | $m = array(); |
| Index: trunk/extensions/Configure/Configure.settings-ext.php |
| — | — | @@ -323,9 +323,6 @@ |
| 324 | 324 | ), |
| 325 | 325 | array( |
| 326 | 326 | 'name' => 'Citation', |
| 327 | | - 'settings' => array( |
| 328 | | - |
| 329 | | - ), |
| 330 | 327 | ), |
| 331 | 328 | array( |
| 332 | 329 | 'name' => 'Cite', |