Fix for wgArticleId being exported to JavaScript as a string instead of integer. :P

[lhc/web/wiklou.git] / mwScriptLoader.php5

<?php require './mwScriptLoader.php';