mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto
synced 2024-12-04 20:58:13 +00:00
846495fe45
Bug: T328220 Change-Id: I38be06abdabff29276f07c378f3ef434973fb8d6
9 lines
144 B
PHP
9 lines
144 B
PHP
<?php
|
|
|
|
namespace MediaWiki\Extension\Scribunto\Engines\LuaCommon;
|
|
|
|
use Exception;
|
|
|
|
class LuaInterpreterNotExecutableError extends Exception {
|
|
}
|