Added another extension for Real Media. This should cover all the file
authorikawhero <ikawhero>
Mon, 13 Mar 2006 07:21:50 +0000 (07:21 +0000)
committerikawhero <ikawhero>
Mon, 13 Mar 2006 07:21:50 +0000 (07:21 +0000)
commit03d843b2dc4d7decc1438759361b3687c9518018
treed83e42ef1b1d7e1df58a1ded6c9a83c4cdfac4cf
parent6fe1db7e74ffe46b4ad5159237e6170febd94bb5
Added another extension for Real Media. This should cover all the file
types for which you would want to embed a player or give you a way to do
it eg writing an ram or rpm file.
filter/mediaplugin/defaultsettings.php
filter/mediaplugin/filter.php
filter/mediaplugin/filterconfig.html