コード例 #1
0
ファイル: Configuration.php プロジェクト: buggithubs/FreshRSS 
 public function removeExtension($ext_name)
 {
     self::$extensions_enabled = array_diff(self::$extensions_enabled, array($ext_name));
 }