mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto
synced 2024-12-12 08:25:10 +00:00
9 lines
145 B
PHP
9 lines
145 B
PHP
<?php
|
|
|
|
namespace MediaWiki\Extension\Scribunto\Engines\LuaCommon;
|
|
|
|
use MWException;
|
|
|
|
class LuaInterpreterBadVersionError extends MWException {
|
|
}
|