mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto
synced 2024-12-20 20:02:53 +00:00
9 lines
144 B
PHP
9 lines
144 B
PHP
<?php
|
|
|
|
namespace MediaWiki\Extension\Scribunto\Engines\LuaCommon;
|
|
|
|
use Exception;
|
|
|
|
class LuaInterpreterNotExecutableError extends Exception {
|
|
}
|