mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto
synced 2024-12-01 03:16:14 +00:00
9 lines
141 B
PHP
9 lines
141 B
PHP
<?php
|
|
|
|
namespace MediaWiki\Extension\Scribunto\Engines\LuaCommon;
|
|
|
|
use Exception;
|
|
|
|
class LuaInterpreterBadVersionError extends Exception {
|
|
}
|