<?php

if (!defined('MEDIAWIKI')) {
    highlight_file(__FILE__);
}

?>
<script type="text/javascript">
<?php
    readfile(dirname(__FILE__) . '/overlibmws.js');
    readfile(dirname(__FILE__) . '/overlibmws_filter.js');
?>
</script>