js2/mwEmbed/php/jsAutoloadLocalClasses.php

   1 <?php
   2 if ( !defined( 'MEDIAWIKI' ) ) die( 1 );
   3
   4 global $wgJSAutoloadLocalClasses, $wgMwEmbedDirectory;
   5
   6 //load classes from  mv_embed.js::
   7
   8 //read the file:
   9 if( is_file( $wgMwEmbedDirectory . 'mv_embed.js' )){
  10
  11         $str = @file_get_contents( $wgMwEmbedDirectory . 'mv_embed.js');
  12
  13         $str = preg_replace_callback(
  14                 '/lcPaths\s*\(\s*{(.*)}\s*\)\s*/siU',
  15                 'jsClassPathLoader',
  16                 $str
  17         );
  18 }
  19 function jsClassPathLoader($jvar){
  20         global $wgJSAutoloadLocalClasses,$wgMwEmbedDirectory;
  21         if( !isset( $jvar[1] ) )
  22                 return false;
  23         $jClassSet = json_decode( '{' . $jvar[1] . '}', true );
  24         foreach( $jClassSet as $jClass => $jPath ){
  25                 //strip $ from jsclass (as they are striped on url request param input)
  26                 $jClass = str_replace('$', '', $jClass);
  27                 $wgJSAutoloadLocalClasses[$jClass] = $wgMwEmbedDirectory . $jPath;
  28         }
  29 }